David W. Etherington, Robert E. Mercer, Raymond Reiter. On the Adequacy of Predicate Circumscription for Closed-World Reasoning. In NMR. pages 70-81, 1984.
@inproceedings{EtheringtonMR84,
title = {On the Adequacy of Predicate Circumscription for Closed-World Reasoning},
author = {David W. Etherington and Robert E. Mercer and Raymond Reiter},
year = {1984},
tags = {e-science},
researchr = {https://researchr.org/publication/EtheringtonMR84},
cites = {0},
citedby = {0},
pages = {70-81},
booktitle = {NMR},
}