Automated reasoning with analytic tableaux and related methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings - Cerrito, Serenella; Popescu, Andrei (Springer, 2019)