A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Elimination of composite superpositions may cause abortion
1991
Journal of symbolic computation
We will show by examples that the elimination of composite superpositions during the completion of a term rewriting system may lead to an unnecessary stop with failure that cannot be prevented by postponing critical pairs.
doi:10.1016/s0747-7171(08)80045-4
fatcat:dqyluythn5ekzgcdsnuphcuqra