A Circumscriptive Theorem Prover

Ginsberg. "A Circumscriptive Theorem Prover." AAAI Conference on Artificial Intelligence, 1988.

[Ginsberg. "A Circumscriptive Theorem Prover." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/ginsberg1988aaai-circumscriptive/)

@inproceedings{ginsberg1988aaai-circumscriptive,
  title     = {{A Circumscriptive Theorem Prover}},
  author    = {Ginsberg, Matthew L.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {470-474},
  url       = {https://mlanthology.org/aaai/1988/ginsberg1988aaai-circumscriptive/}
}