Jump to Content

Correcting a Widespread Error in Unification Algorithms

Softw., Pract. Exper., vol. 21 (1991), pp. 231-233

Abstract

Research Areas