Automating Default Reasoning (1999)
[BibTex]