Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}