A Theorem Prover for Prioritized Circumscription

Baker and Ginsberg. "A Theorem Prover for Prioritized Circumscription." International Joint Conference on Artificial Intelligence, 1989.

[Baker and Ginsberg. "A Theorem Prover for Prioritized Circumscription." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/baker1989ijcai-theorem/)

@inproceedings{baker1989ijcai-theorem,
  title     = {{A Theorem Prover for Prioritized Circumscription}},
  author    = {Baker, Andrew B. and Ginsberg, Matthew L.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1989},
  pages     = {463-467},
  url       = {https://mlanthology.org/ijcai/1989/baker1989ijcai-theorem/}
}