Some relationships between unification, restricted unification and matching - Bürckert, Hans-Jürgen (1986)