Implication of Clauses is Undecidable

Manfred Schmidt-Schauß. Implication of Clauses is Undecidable. Theoretical Computer Science, 59:287-296, 1988.

Abstract

Abstract is missing.