A logic for default reasoning

Reiter, Ray

Classics 

Artificial Intelligence 13:81-132