Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos. Temporal Disjunctive Logic Programming. New Generation Computing, 19(1):87-100, 2001.

CITATIONS

1. Juan Carlos Nieves, Mauricio Osorio, Urises Cortés. Semantics for Possibilistic Disjunctive Programs. Submitted for publication, 2011.

2. Michael Fisher. An Introduction to Practical Formal Methods Using Temporal Logic. John Wiley & Sons, Ltd, Chichester, UK, 2011.

3. Jose Gaintzarain, Paqui Lucio. Logical Foundations for Resolution-based Temporal Logic Programming Languages. Technical Report UPV/EHU-LSI-TR-02-2011, Dpto de Lenguajes y Sistemas Informáticos, UPV-EHU.

4. Jose Gaintzarain, Paqui Lucio. A New Approach to Temporal Logic Programming. In IX Jornadas sobre Programación y Lenguajes, PROLE’2009, San Sebastián, Spain, September, 2009.