Jérôme Mengin. A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle. In Christine Froidevaux, Jürg Kohlas, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 95, Fribourg, Switzerland, July 3-5, 1995, Proceedings. Volume 946 of Lecture Notes in Computer Science, pages 301-310, Springer, 1995.
Abstract is missing.