Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings - Giese, Martin; Waaler, Arild (Springer Berlin Heidelberg, 2009)