Nico Roos Reasoning by Cases in Default Logic. 165-183 1998 99 Artif. Intell. 1 db/journals/ai/ai99.html#Roos98 http://dx.doi.org/10.1016/S0004-3702(97)00081-7