Subgoal Alternation in Model Elimination.

Ortrun Ibens, Reinhold Letz

Browse the full TABLEAUX paper archive.