On Complexity of Confluence and Church-Rosser Proofs - Arnold Beckmann (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024)