A Logic for Default Reasoning (1980)

by R Reiter
Venue:Artificial Inteligence