complete unification

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

1
Show
Maximize