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

by M Gelfond, H Przymusinska, T Przymusinksi
Venue:Artificial Intelligence