Philippe le Chenadec On Positive Occur-Checks in Unification. 433-444 1988 conf/mfcs/1988 MFCS db/conf/mfcs/mfcs88.html#Chenadec88 http://dx.doi.org/10.1007/BFb0017166