Resolution for branching time temporal logics: applying the temporal resolution rule | IEEE Conference Publication | IEEE Xplore