Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. Computing Circumscriptive Databases: I. Theory and Algorithms. Inf. Comput., 116(1):58-80, January 1995.
@article{NerodeNS95,
title = {Computing Circumscriptive Databases: I. Theory and Algorithms},
author = {Anil Nerode and Raymond T. Ng and V. S. Subrahmanian},
year = {1995},
month = {January},
researchr = {https://researchr.org/publication/NerodeNS95},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {116},
number = {1},
pages = {58-80},
}