Martin Giese Arild Waaler Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings 5607 2009 http://dx.doi.org/10.1007/978-3-642-02716-1 978-3-642-02715-4 TABLEAUX Lecture Notes in Computer Science Springer db/conf/tableaux/tableaux2009.html