Elimination of Self-Resolving Clauses

Hans Jürgen Ohlbach. Elimination of Self-Resolving Clauses. Journal of Automated Reasoning, 20(3):317-336, 1998.

Abstract

Abstract is missing.