Circumscription implies Predicate Completion (sometimes (1982)

by R Reiter
Venue:In Artificial Intelligence, Proceedings of the National (USA) Conference