Circumscription implies predicate completion (sometimes (1982)

by Raymond Reiter
Venue:Proceedings of the National Conference on Artificial Intelligence