Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos. Cactus: A Branching-time Logic Programming Language. In D. M. Gabbay, R. Kruse and H. J. Ohlbach (eds.), Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR'97), Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Artificial Intelligence, Vol. 1244, pp. 511-524, Springer Verlag, 1997.


  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. Nan Zhang, Zhenhua Duan, Cong Tian. A cylinder computation model for many-core parallel computing. Theoretical Computer Science,  497(??):68-83, 2012.

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

  4. Nan Zhang, Zhenhua Duan. A Semantic Model for Many-Core Parallel Computing. Weifan Wang, Xuding Zhu, Ding-Zhu Du (Eds.), Combinatorial Optimization and Applications - 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings. Lecture Notes in Computer Science 6831, pp. 464–479, Springer 2011.

  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. Vitor Beires Nogueira. Temporal reasoning in a logic programming language with modularity. Phd Thesis. Departamento de Informática, Universidade de Évora, Portugal, Dezembro de 2008.