Elmar Eder. Properties of Substitutions and Unifications. Journal of Symbolic Computation, 1(1):31-46, 1985.
@article{Eder85,
title = {Properties of Substitutions and Unifications},
author = {Elmar Eder},
year = {1985},
researchr = {https://researchr.org/publication/Eder85},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {1},
number = {1},
pages = {31-46},
}