James Lee Hafner
Journal of Number Theory
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.
James Lee Hafner
Journal of Number Theory
Moutaz Fakhry, Yuri Granik, et al.
SPIE Photomask Technology + EUV Lithography 2011
Mark N. Wegman
POPL 1983
George Markowsky
J. Math. Anal. Appl.