Dennis de Champeaux. Substad: For Fast Substitution in LISP, with an Application on Unification. Inf. Process. Lett., 7(1):58-62, 1978.
@article{Champeaux78:0, title = {Substad: For Fast Substitution in LISP, with an Application on Unification}, author = {Dennis de Champeaux}, year = {1978}, researchr = {https://researchr.org/publication/Champeaux78%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {7}, number = {1}, pages = {58-62}, }