The complexity of reasoning for fragments of default logic (2009)

by O Beyersdorff, A Meier, M Thomas, H Vollmer
Venue:In Proc. 12th SAT, volume 5584 of LNCS