complete unification

(programming)   W.P. Weijland's name for unification without occur check.

Last updated: 1996-01-11


Loading