International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (18 : 2009 : Oslo)