Thomas Linke Torsten Schaub Towards a classification of Default Logics. 1997 7 Journal of Applied Non-Classical Logics 4 db/journals/jancl/jancl7.html#LinkeS97