Panos Rondogiannis, Manolis Gergatsoulis.
The Branching-time Transformation Technique for Chain Datalog Programs.
Journal of Intelligent Information Systems, 17(1):71-94, November 2001.
- Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning.
Appears in http://www.eetn.gr/english/artificial_intelligence_topics_files/KnowledgeRepresentationReasoning.pdf
- K. Tuncay Tekle. Logic Program Optimization. Research Proficiency Exam.
Department of Computer Science, State University of New York at Stony Brook,
USA, May 2007.
- 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.