A.R. Conn, Nick Gould, et al.
Mathematics of Computation
Paper
Linear unification
Abstract
A unification algorithm is described which tests a set of expressions for unifiability and which requires time and space which are only linear in the size of the input. © 1978.
Related
Guo-Jun Qi, Charu Aggarwal, et al.
IEEE TPAMI
Nimrod Megiddo
Journal of Symbolic Computation
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences