complete unificationcomputing dictionary

<computer programming> W.P. Weijland's name for unification without occur check.

(01 Feb 1996)