Toward efficient default reasoning (1996)

by D W Etherington, J M Crawford
Venue:Presented at the 4th International Workshop on Nonmonotonic Reasoning