The Model-Theoretic Expressiveness of Propositional Proof Systems.

Erich Grdel, Benedikt Pago, Wied Pakusa

Browse the full CSL paper archive.