Jussi Rintanen Lexicographic Priorities in Default Logic. 221-265 1998 106 Artif. Intell. 2 db/journals/ai/ai106.html#Rintanen98 http://dx.doi.org/10.1016/S0004-3702(98)00097-6