Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings - Beckert, Bernhard (Lecture notes in computer science ;, 2005)