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.
@inproceedings{NicolasD95:1, title = {A Theorem Prover for Lukaszewicz Open Default Theory}, author = {Pascal Nicolas and Béatrice Duval}, year = {1995}, tags = {source-to-source, Pascal, open-source}, researchr = {https://researchr.org/publication/NicolasD95%3A1}, cites = {0}, citedby = {0}, pages = {311-319}, booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 95, Fribourg, Switzerland, July 3-5, 1995, Proceedings}, editor = {Christine Froidevaux and Jürg Kohlas}, volume = {946}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60112-0}, }