Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings - Giese, Martin (Lecture Notes in Computer Science, 2009)