Papamakarios, T., et al.. Space Characterizations of Complexity Measures and Size-space Trade-offs in Propositional Proof Systems. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, June 2022, doi:10.4230/lipics.icalp.2022.100.