<programming> W.P. Weijland's name for unification without occur check.
(1996-01-11)
Try this search on Wikipedia, OneLook, Google
Nearby terms: completeness « complete partial ordering « complete theory « complete unification » Complex Instruction Set Computer » complexity » complexity analysis
