Nicolas Peltier. Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. In Didier Galmiche, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Volume 1227 of Lecture Notes in Computer Science, pages 313-327, Springer, 1997.
Abstract is missing.