Erratum: a counterexample to W. Bibel s and E. Eder s strong completeness result for connection graph resolution

Jörg H. Siekmann, Graham Wrightson. Erratum: a counterexample to W. Bibel s and E. Eder s strong completeness result for connection graph resolution. Journal of the ACM, 48(1):145-147, 2001. [doi]

Abstract

Abstract is missing.