%0 Conference Paper %1 reason:BakGin89a %A Baker, A. %A Ginsberg, M. %B Proc.\ 11th International Joint Conf.\ on Artificial Intelligence (IJCAI-89) %C Detriot, MI %D 1989 %K imported ml %P 463--467 %T A Theorem Prover for Prioritized Circumscription

@inproceedings{reason:BakGin89a, added-at = {2016-11-26T13:19:29.000+0100}, address = {Detriot, MI}, author = {Baker, A. and Ginsberg, M.}, biburl = {https://www.bibsonomy.org/bibtex/2d9c05ad96768fb985c9fb5b2cd4a599e/machinelearning}, booktitle = {Proc.\ 11th International Joint Conf.\ on Artificial Intelligence (IJCAI-89)}, interhash = {ca4a25b5b370ed65653b91c1c5d16d67}, intrahash = {d9c05ad96768fb985c9fb5b2cd4a599e}, keywords = {imported ml}, pages = {463--467}, serial = {BakGin89a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {A Theorem Prover for Prioritized Circumscription}, year = 1989 }