A Model Elimination Calculus for Generalized Clauses.

Toni Bollinger

Browse the full TABLEAUX paper archive.