%0 Conference Paper %1 conf/lpnmr/GeertsV91 %A Geerts, P. %A Vermeir, Dirk %B LPNMR %D 1991 %E Nerode, Anil %E Marek, V. Wiktor %E Subrahmanian, V. S. %I The MIT Press %K dblp %P 21-36 %T Credulous and Autoepistemic Reasoning Using Ordered Logic. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr91.html#GeertsV91 %@ 0-262-64027-9

@inproceedings{conf/lpnmr/GeertsV91, added-at = {2017-03-20T00:00:00.000+0100}, author = {Geerts, P. and Vermeir, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2921456cc5a7a08c53284a60630f7a6bb/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/1991}, editor = {Nerode, Anil and Marek, V. Wiktor and Subrahmanian, V. S.}, interhash = {f0bf32fdcc2c0c60f3a0540a65d399b3}, intrahash = {921456cc5a7a08c53284a60630f7a6bb}, isbn = {0-262-64027-9}, keywords = {dblp}, pages = {21-36}, publisher = {The MIT Press}, timestamp = {2017-03-21T11:37:13.000+0100}, title = {Credulous and Autoepistemic Reasoning Using Ordered Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr91.html#GeertsV91}, year = 1991 }