Circumscription implies predicate completion (sometimes (1982)

by R Reiter
Venue:In Proc. of IJCAI-82