The complexity of circumscriptive inference in Post’s lattice (2009)

by M Thomas
Venue:In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning