Anatoli Degtyarev, Andrei Voronkov. What You Always Wanted to Know about Rigid E-Unification. Journal of Automated Reasoning, 20(1):47-80, 1998.
@article{DegtyarevV98, title = {What You Always Wanted to Know about Rigid E-Unification}, author = {Anatoli Degtyarev and Andrei Voronkov}, year = {1998}, tags = {e-science}, researchr = {https://researchr.org/publication/DegtyarevV98}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {20}, number = {1}, pages = {47-80}, }