The Complexity of Reasoning for Fragments of Default Logic.

Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer

Browse the full SAT paper archive.