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


  1. Jose Gaintzarain, Paqui Lucio. Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages. ACM Transactions on Computational Logic, 14(4):??-??, 2013? (to appear).

  2. Xiaoxiao Yang, Yu Zhang, Xinyu Feng.  ITL+: a temporal programming model with atomic blocks. Technical report ISCAS-SKLCS-11-18, Laboratory for Computer Science, ISCAS.

  3. Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng. A Concurrent Temporal Programming Model with Atomic Blocks. In Toshiaki Aoki and Kenji Taguchi (editors), Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Lecture Notes in Computer Science, Volume 7635, pages 22-37, 2012.

  4. Jose Gaintzarain Ibarmia. Invariant-Free Deduction Systems for Temporal Logic. Ph.D. Thesis. Department of Computer Languages and Systems, University of the Basque Country, Spain, May 2012.

  5. 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.

  6. 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.

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

  8. 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.

  9. 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.