Computing Circumscriptive Databases: I. Theory and Algorithms

Anil Nerode, Raymond T. Ng, V. S. Subrahmanian. Computing Circumscriptive Databases: I. Theory and Algorithms. Inf. Comput., 116(1):58-80, January 1995.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.