Anatoli Degtyarev Andrei Voronkov What You Always Wanted to Know about Rigid E-Unification. 47-80 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#DegtyarevV98