1. P. Baumgartner and U. Furbach. Model Elimination without Contrapositives and its Application to PTTP. Journal of Automated Reasoning, 13:339–359, 1994. Short version in: Proceedings of CADE-12, Springer LNAI 814, 1994, pp 87–101.
2. P. Baumgartner, U. Furbach, and F. Stolzenburg. Model Elimination, Logic Programming and Computing Answers. In 14th International Joint Conference on Artificial Intelligence (IJCAI 95), volume 1, 1995. (Long version in: Research Report 1/95, University of Koblenz, Germany. To appear in Artificial Intelligence).
3. Marc Denecker and Danny De Schreye. Sldnfa: an abductive procedure for normal abductive programs. Technical report, Department of Computer Science, K. U. Leuven, Belgium, 1995.
4. Phan Minn Dung. Negation as hypotheses: an abductive foundation for logic programming. In K. Furukawa, editor, Proceedings of International Conference on Logic Programming, pages 3–17. The MIT Press, 1991.
5. Phan Minh Dung. Acyclic disjunctive logic programs with abductive procedure as proof procedure. In Proceedings of the International conference on Fifth Generation Computer Systems, pages 555–561. ICOT, 1992.