Non-monotonic logic I (1980)

by D V McDermott, J Doyle
Venue:Artificial Intelligence