Matching - A Special Case of Unification?

@article{pub1841,
    author = {

Bürckert, Hans-Jürgen
},
    title = {Matching - A Special Case of Unification?},
    year = {1989},
    volume = {8, Special Issue on Unification},
    pages = {523--536},
    journal = {Journal of Symbolic Computation},
    publisher = {Elsevier}
}