In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 523-536, Elsevier, 1989.
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}
}