![](/img/cover-not-exists.png)
Proof complexity of propositional default logic
Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert VollmerVolume:
50
Language:
english
Pages:
16
DOI:
10.1007/s00153-011-0245-8
Date:
November, 2011
File:
PDF, 551 KB
english, 2011