Artie Basukoski Alexander Bolotov Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. 195-197 2005 conf/time/2005 TIME http://dx.doi.org/10.1109/TIME.2005.32 db/conf/time/time2005.html#BasukoskiB05