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