Some relationship Between Unification, Restricted Unification, and Matching

@inproceedings{pub2362,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

Siekmann, Jörg
},
    title = {Some relationship Between Unification, Restricted Unification, and Matching},
    booktitle = {Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986), 8th, July 27-August 1, Oxford, United Kingdom},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {1986},
    volume = {230},
    pages = {514--524},
    publisher = {Springer}
}