Toward Efficient Default Reasoning (1996)

by David Etherington, James M. Crawford
Venue:Presented at the 4th International Workshop on Nonmonotonic Reasoning