Matteo Acclavio, Lutz Straßburger. On Combinatorial Proofs for Modal Logic.
TABLEAUX 2019 - 28t International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.223-240,
⟨10.1007/978-3-030-29026-9_13⟩.
⟨hal-02390400⟩