Li-Yan Yuan, Jia-Huai You. Knowledge Base Revision Using Circumscription. In DOOD. pages 444-458, 1993.
@inproceedings{YuanY93-0, title = {Knowledge Base Revision Using Circumscription}, author = {Li-Yan Yuan and Jia-Huai You}, year = {1993}, tags = {rule-based}, researchr = {https://researchr.org/publication/YuanY93-0}, cites = {0}, citedby = {0}, pages = {444-458}, booktitle = {DOOD}, }