Manolis Gergatsoulis, Christos Nomikos. A proof procedure for temporal logic programming. International Journal of Foundations of Computer Science, 15(2):417-443, April 2004


  1. Michael Fisher. An Introduction to Practical Formal Methods Using Temporal Logic. John Wiley & Sons, Ltd, Chichester, UK, 2011.
  2. Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning. Appears in