Olaf Beyersdorff Logical Closure Properties of Propositional Proof Systems. 318-329 2008 TAMC http://dx.doi.org/10.1007/978-3-540-79228-4_28 conf/tamc/2008 db/conf/tamc/tamc2008.html#Beyersdorff08