G. Dowek, Polarized Resolution Modulo, IFIP Theoretical Computer Science, 2010.
DOI : 10.1007/978-3-642-15240-5_14
URL : https://hal.archives-ouvertes.fr/hal-01054460

G. Dowek and B. Werner, Abstract, The Journal of Symbolic Logic, vol.87, issue.04, pp.1289-1316, 2003.
DOI : 10.1007/BFb0037116

E. A. Emerson and J. Y. Halpern, 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

M. Fisher, C. Dixon, and M. Peim, Clausal temporal resolution, ACM Transactions on Computational Logic, vol.2, issue.1, pp.12-56, 2001.
DOI : 10.1145/371282.371311

O. Friedmann, A Proof System for CTL*mu, 2008.

D. M. Gabbay and A. Pnueli, 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

M. Reynolds, 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