Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos Branching-Time Logic Programming: The Language Cactus and its Applications. Computer Languages, 24(3):155-178, October 1998.

CITATIONS

1. Xiaoxiao Yang, Zhenhua Duan, Qian Ma. Axiomatic semantics of projection temporal logic programs. Mathematical Structures in Computer Science, 20: 865-914, Cambridge University Press 2010.

2. Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak. Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks.  Mathematics in Computer Science, 2(1):143-163, November, 2008.

3. Xiaoxiao Yang, Zhenhua Duan. Operational semantics of Framed Tempura. The Journal of Logic and Algebraic Programming, 78(1):22-51, November-December, 2008.

4. N. S. Papaspyrou, I. T. Kassios. GLU embedded in C++: a marriage between multidimensional and object-oriented programming. Software Practice and Experience, 34(7):609-630, June 2004.

5. Costas Koutras, Christos Nomikos. On the computational Complexity of  Stratified Negation in Linear-Time Temporal Logic Programming. In M. Gergatsoulis and P. Rondogiannis (editors), Intensional Programming II, pages 106-116, World Scientific, 2000.