Manolis Gergatsoulis. Unfold/fold transformations for Disjunctive Logic programs. Information Processing Letters, 62(1):23-29, April 1997.

CITATIONS

  1. Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau. Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artificial Intelligence, Volume 236, Issue C, pp. 90-118, July 2016.
  2. Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau. Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. In The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), Quebec City, Quebec, Canada, July 27-31, 2014, pp.1077-1083, 2014.
  3. Alberto Pettorossi, Maurizio Proietti. Program Derivation = Rules + Strategies. In A. Kakkas, F. Sadri (editors), Computational Logic: From Logic Programming into the Future (In honour of R. A. Kowalski, Part I), Lecture Notes in Computer Science, Volume 2407, pages 273-309, Springer-Verlag, 2002.