David W. Etherington Formalizing Nonmonotonic Reasoning Systems. 41-85 1987 31 Artif. Intell. 1 db/journals/ai/ai31.html#Etherington87