Dennis de Champeaux. About the Paterson-Wegman Linear Unification Algorithm. J. Comput. Syst. Sci., 32(1):79-90, 1986.
@article{Champeaux86,
title = {About the Paterson-Wegman Linear Unification Algorithm},
author = {Dennis de Champeaux},
year = {1986},
researchr = {https://researchr.org/publication/Champeaux86},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {32},
number = {1},
pages = {79-90},
}