论文标题
Paterson-Wegman-De Champeaux算法中的错字
A Typo in the Paterson-Wegman-de Champeaux algorithm
论文作者
论文摘要
我们研究了Paterson-Wegman-De Champeaux线性统一算法。我们表明，算法的de Champeaux演示中存在一个小错误，我们提供了解决方案。
We investigate the Paterson-Wegman-de Champeaux linear-time unification algorithm. We show that there is a small mistake in the de Champeaux presentation of the algorithm and we provide a fix.
