Benjamin Ralph, Lutz Strassburger. Towards a Combinatorial Proof Theory.
TABLEAUX 2019 - 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.259-276,
⟨10.1007/978-3-030-29026-9_15⟩.
⟨hal-02390417⟩