Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic - United States
doi 10.1007/s00153-011-0245-8
Full Text
Open PDFAbstract
Available in full text
Date
July 3, 2011
Authors
Publisher
Springer Science and Business Media LLC