1 - Invariant-Free Clausal Temporal Resolution
We provide an extended abstract of the paper with the same title and authors that is going to appear in Journal of Automated Reasoning (Online from December 2th, 2011).
Autores: J. Gaintzarain / M. Hermo / P. Lucio / M. Navarro / F. Orejas /
Palabras Clave: Clausal Normal Form - Invariant-free - Resolution - Temporal Logic