Pascal Nicolas, Béatrice Duval. A Theorem Prover for Lukaszewicz Open Default Theory. 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 311-319, Springer, 1995.
Abstract is missing.