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.

Abstract

Abstract is missing.