Axiomatizing truth in a finite model, manuscript, 2013. ,
Decision procedures and expressiveness in the temporal logic of branching time, Journal of Computer and System Sciences, vol.30, issue.1, pp.1-24, 1985. ,
DOI : 10.1016/0022-0000(85)90001-7
Clausal temporal resolution, ACM Transactions on Computational Logic, vol.2, issue.1, pp.12-56, 2001. ,
DOI : 10.1145/371282.371311
URL : http://arxiv.org/abs/cs/9907032
A Proof System for CTL*mu, 2008. ,
A Sound and Complete Deductive System for CTL* Verification, Logic Journal of IGPL, vol.16, issue.6, pp.499-536, 2008. ,
DOI : 10.1093/jigpal/jzn018
URL : http://jigpal.oxfordjournals.org/cgi/content/short/16/6/499
Abstract, The Journal of Symbolic Logic, vol.61, issue.03, pp.1011-1057, 2001. ,
DOI : 10.1007/BF00649485
URL : https://hal.archives-ouvertes.fr/hal-01388984