%0 Conference Paper %1 conf/ecsqaru/Mengin95 %A Mengin, Jérôme %B ECSQARU %D 1995 %E Froidevaux, Christine %E Kohlas, Jürg %I Springer %K dblp %P 301-310 %T A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle. %U http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru1995.html#Mengin95 %V 946 %@ 3-540-60112-0

@inproceedings{conf/ecsqaru/Mengin95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Mengin, Jérôme}, biburl = {https://www.bibsonomy.org/bibtex/2fda8e2b1e0e987955b958226dd144064/dblp}, booktitle = {ECSQARU}, crossref = {conf/ecsqaru/1995}, editor = {Froidevaux, Christine and Kohlas, Jürg}, ee = {https://doi.org/10.1007/3-540-60112-0_35}, interhash = {a2f25bce51a80259c98cf222633d7cce}, intrahash = {fda8e2b1e0e987955b958226dd144064}, isbn = {3-540-60112-0}, keywords = {dblp}, pages = {301-310}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:51:17.000+0200}, title = {A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.}, url = {http://dblp.uni-trier.de/db/conf/ecsqaru/ecsqaru1995.html#Mengin95}, volume = 946, year = 1995 }