A logic for default reasoning (1980)

by R Reiter
Venue:Artificial Intelligence