Subgoal Alternation in Model Elimination

Ortrun Ibens, Reinhold Letz. Subgoal Alternation in Model Elimination. 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 201-215, Springer, 1997.


Abstract is missing.