Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings - Galmiche, Didier; Galmiche, Didier (Springer Berlin Heidelberg : Imprint: Springer, 1997)