Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings - Schmidt, Renate A.; Nalon, Cláudia (Springer International Publishing : Imprint: Springer, 2017)