1. J. Lloyd, Foundations of Logic Programming (2nd edition), Springer-Verlag, Berlin (1987).
2. B. Buchberger, J. Collins, and R. Loos (eds.), Computer Algebra (Symbolic and Algebraic Computations) [Russian translation], Mir, Moscow (1986).
3. F. Baader and J. Ziekmann, “Unification theory,” in: Handbook of Logic in Artificial Intelligence and Logic Programming, Univ. Press, Oxford (1994), pp. 1–85.
4. R. Allen and K. Kennedy, “Automatic translation of FORTRAN program to vector form,” ACM Trans. Progr. Lang, and Syst.,9, No. 4, 491–542 (1987).
5. E. Contejean and H. Devie, “Solving systems of linear Diophantine equations,” in: Proc. 3rd Workshop on Unification, Univ. of Kaiserslautern, Lambrecht, Germany (1989).