A Model Elimination Calculus for Generalized Clauses

Toni Bollinger. A Model Elimination Calculus for Generalized Clauses. In TABLEAUX. pages 19-22, 1992.

Abstract

Abstract is missing.