On the Relationship Between Circumscription and Negation as Failure (1989)

by M Gelfond, H Przymusinska, T C Przymusinski
Venue:Artif. Intell