1. S. L. Kryvyi, “Algorithms for solving systems of linear Diophantine equations in integer domains,” Cybernetics and Systems Analysis, No. 2, 3–17 (2006).
2. G. A. Donets, “Solution of the safe problem on (0,1)-matrices,” Cybernetics and Systems Analysis, No. 1, 98–105 (2002).
3. A. V. Cheremushkin, Lectures on Arithmetic Algorithms in Cryptography [in Russian], MTsNMO, Moscow (2002).
4. F. Baader and J. Ziekmann, “Unification Theory,” in: Handbook of Logic in Artificial Intelligence and Logic Programming, University Press, Oxford (1994), pp. 1–85.
5. R. Allen and K. Kennedy, “Automatic translation of FORTRAN programs to vector form,” ACM Transactions on Programming Languages and Systems, 9, No. 4, 491–542 (1987).