Some relationships between unification, restricted unification and matching - Bürckert, Hans-Jürgen (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1986)