Using Normal Deduction Graphs in Default Reasoning. - Ricardo A. Munoz; Chao-Chih Yang (ISMIS, 1991)