Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings - Didier Galmiche ((Lecture Notes in Computer Science))