Proof complexity of propositional default logic

Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer
2011 Archive for Mathematical Logic  
doi:10.1007/s00153-011-0245-8 fatcat:pzkiv6j53rgy7erqomv75t5yfm