Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. Invariant-Free Clausal Temporal Resolution. J. Autom. Reasoning 50(1): 1-49

Jose Gaintzarain, Paqui Lucio. Logical foundations for more expressive declarative temporal logic programming languages. ACM Trans. Comput. Log. 14(4): 28