Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings - Beckert, Bernhard (Springer Berlin Heidelberg, 2005)