The Complexity of Circumscriptive Inference in Post's Lattice.

Michael Thomas

Browse the full LPNMR paper archive.