Elmar Eder. Properties of Substitutions and Unifications. In Bernd Neumann, editor, GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983. Volume 76 of Informatik-Fachberichte, pages 197-206, Springer, 1983.
@inproceedings{Eder83, title = {Properties of Substitutions and Unifications}, author = {Elmar Eder}, year = {1983}, researchr = {https://researchr.org/publication/Eder83}, cites = {0}, citedby = {0}, pages = {197-206}, booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983}, editor = {Bernd Neumann}, volume = {76}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-12871-9}, }