Strategy Parallel Use of Model Elimination with Lemmata (System Abstract).

Andreas Wolf, Joachim Draeger

Browse the full TABLEAUX paper archive.