Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas. Computing Circumscription Revisited: A Reduction Algorithm. Journal of Automated Reasoning, 18(3):297-336, 1997.
@article{DohertyLS97,
title = {Computing Circumscription Revisited: A Reduction Algorithm},
author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas},
year = {1997},
researchr = {https://researchr.org/publication/DohertyLS97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {18},
number = {3},
pages = {297-336},
}