Panos Rondogiannis, Manolis Gergatsoulis. The Branching-time Transformation Technique for Chain Datalog Programs. Journal of Intelligent Information Systems, 17(1):71-94, November 2001.


  1. Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning. Appears in
  2. K. Tuncay Tekle. Logic Program Optimization. Research Proficiency Exam. Department of Computer Science, State University of New York at Stony Brook, USA, May 2007.
  3. Petros Potikas. Program transformations in deductive databases using Intensional Logic Programming. Phd Dissertation. Department of Electrical and Computer Engineering National Technical University of Athens (NTUA), Greece, June 2006.