资料来源 : Free On-Line Dictionary of Computing

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