Symmetric Proofs in the Ideal Proof System.

Anuj Dawar, Erich Grdel, Leon Kullmann, Benedikt Pago

Browse the full MFCS paper archive.