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]
@article{SiekmannW01, title = {Erratum: a counterexample to W. Bibel s and E. Eder s strong completeness result for connection graph resolution}, author = {Jörg H. Siekmann and Graham Wrightson}, year = {2001}, doi = {10.1145/363647.363697}, url = {http://doi.acm.org/10.1145/363647.363697}, tags = {completeness, graph-rewriting, e-science, rewriting}, researchr = {https://researchr.org/publication/SiekmannW01}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {48}, number = {1}, pages = {145-147}, }