Non-monotonic logic I (1980)

by D McDermott, J Doyle
Venue:Artificial Intelligence