Artie Basukoski Papers on DiSC'04 A Clausal Resolution Method for Branching-Time Logic ECTL+ Publications Note: Links lead to the DBLP on the Web. Artie Basukoski Alexander Bolotov , Artie Basukoski: A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME 2004 : 140-147 1 [ 1 ] ©2005 Association for Computing Machinery