%0 Conference Paper %1 conf/birthday/RathmannW91 %A Rathmann, Peter K. %A Wiederhold, Gio %B Artificial and Mathematical Theory of Computation %D 1991 %E Lifschitz, Vladimir %I Academic Press / Elsevier %K dblp %P 345-358 %T Circumscription and Authority. %U http://dblp.uni-trier.de/db/conf/birthday/mccarthy1991.html#RathmannW91 %@ 978-0-12-450010-5

@inproceedings{conf/birthday/RathmannW91, added-at = {2019-06-26T00:00:00.000+0200}, author = {Rathmann, Peter K. and Wiederhold, Gio}, biburl = {https://www.bibsonomy.org/bibtex/21412cf1e5a750510526e3e030e7eb4c6/dblp}, booktitle = {Artificial and Mathematical Theory of Computation}, crossref = {conf/birthday/1991mccarthy}, editor = {Lifschitz, Vladimir}, ee = {https://doi.org/10.1016/b978-0-12-450010-5.50025-6}, interhash = {8b05245933fdd6847decda295b70d759}, intrahash = {1412cf1e5a750510526e3e030e7eb4c6}, isbn = {978-0-12-450010-5}, keywords = {dblp}, pages = {345-358}, publisher = {Academic Press / Elsevier}, timestamp = {2019-06-27T11:40:04.000+0200}, title = {Circumscription and Authority.}, url = {http://dblp.uni-trier.de/db/conf/birthday/mccarthy1991.html#RathmannW91}, year = 1991 }