Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis. A Value-propagating Transformation Technique for Datalog Programs Based on Non-deterministic
Constructs. Fundamenta Informaticae, 72(4):485-527, August 2006.
CITATIONS
- Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning.
Appears in http://www.eetn.gr/english/artificial_intelligence_topics_files/KnowledgeRepresentationReasoning.pdf