Symmetric Proofs in the Ideal Proof System. - Anuj Dawar; Erich Grädel; Leon Kullmann; Benedikt Pago (MFCS, 2025)