%0 Conference Paper %1 conf/ijcai/BakerG89 %A Baker, Andrew B. %A Ginsberg, Matthew L. %B IJCAI %D 1989 %E Sridharan, N. S. %I Morgan Kaufmann %K dblp %P 463-467 %T A Theorem Prover for Prioritized Circumscription. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai89.html#BakerG89 %@ 1-55860-094-9

@inproceedings{conf/ijcai/BakerG89, added-at = {2019-08-20T00:00:00.000+0200}, author = {Baker, Andrew B. and Ginsberg, Matthew L.}, biburl = {https://www.bibsonomy.org/bibtex/24246c020ae6b53b56aa15d9bad29cecf/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1989}, editor = {Sridharan, N. S.}, ee = {http://ijcai.org/Proceedings/89-1/Papers/075.pdf}, interhash = {ca4a25b5b370ed65653b91c1c5d16d67}, intrahash = {4246c020ae6b53b56aa15d9bad29cecf}, isbn = {1-55860-094-9}, keywords = {dblp}, pages = {463-467}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:56:11.000+0200}, title = {A Theorem Prover for Prioritized Circumscription.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai89.html#BakerG89}, year = 1989 }