The complexity of closed world reasoning and circumscription (1994)

by M Cadoli, M Lenzerini
Venue:Journal of Information and System Sciences