Peter L. Mott. A Theorem on the Consistency of Circumscription. Artificial Intelligence, 31(1):87-98, 1987.
@article{Mott87, title = {A Theorem on the Consistency of Circumscription}, author = {Peter L. Mott}, year = {1987}, tags = {consistency}, researchr = {https://researchr.org/publication/Mott87}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {31}, number = {1}, pages = {87-98}, }