Automated reasoning with analytic tableaux and related methods international conference, Tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings (Springer, 2005)
Literaturangaben