The following publications are possibly variants of this publication:
- A clausal resolution method for branching-time logic ECTL:::+:::Alexander Bolotov, Artie Basukoski. AMAI, 46(3):235-263, 2006. [doi]
- A Clausal Resolution Method for Extended Computation Tree Logic ECTLAlexander Bolotov. time 2003: 107-117 [doi]
- A clausal resolution method for extended computation tree logic ECTLAlexander Bolotov, Artie Basukoski. japll, 4(2):141-167, 2006. [doi]
- A clausal resolution method for CTL branching-time temporal logicAlexander Bolotov, Michael Fisher. jetai, 11(1):77-93, 1999.
- A Resolution Method For CTL Branching-Time Temporal LogicAlexander Bolotov, Michael Fisher. time 1997: 20-27 [doi]
- Clausal resolution for branching-time temporal logicAlexander Bolotov. PhD thesis, Manchester Metropolitan University, UK, 2000. [doi]
- Clausal resolution in a logic of rational agencyClare Dixon, Michael Fisher, Alexander Bolotov. ai, 139(1):47-89, 2002. [doi]
- Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+Alexander Bolotov, Montserrat Hermo, Paqui Lucio. TCS, 813:428-451, 2020. [doi]