On the adequacy of predicate circumscription for closed-world reasoning (1985)

by David W Etherington, Robert E Mercer, Raymond Reiter
Venue:Computational Intelligence