Olaf Beyersdorff. Logical Closure Properties of Propositional Proof Systems. In Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, Angsheng Li, editors, Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi an, China, April 25-29, 2008. Proceedings. Volume 4978 of Lecture Notes in Computer Science, pages 318-329, Springer, 2008. [doi]
Abstract is missing.