DeYoung, H., Pfenning, F., Pruiksma, K., Ariola, 2020. Semi-Axiomatic Sequent Calculus, in: . Schloss Dagstuhl - Leibniz-Zentrum für Informatik.. https://doi.org/10.4230/lipics.fscd.2020.29