Circumscription implies predicate completion (sometimes (1982)

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