complete unification programming W.P. Weijland's name for unification without occur check. (1996-01-11)