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]

Authors

Jörg H. Siekmann

This author has not been identified. Look up 'Jörg H. Siekmann' in Google

Graham Wrightson

This author has not been identified. Look up 'Graham Wrightson' in Google