On the complexity of extension checking in default logic.

Paolo Liberatore On the complexity of extension checking in default logic. 61-65 2006 98 Inf. Process. Lett. 2 http://dx.doi.org/10.1016/j.ipl.2005.12.005 db/journals/ipl/ipl98.html#Liberatore06