On the relationship between circumscription and negation as failure (1989)

by M Gelfond, H Przymusinska, T Przymusinski
Venue:Arti cial Intelligence