1. W. Bibel, ?Mating in matrices,? Comm. ACM,26, No. 11, 844?867 (1983).
2. J. Corbin and M. Bidoit, ?A rehabilitation of Robinson's unification algorithm,? in: R. E. A. Mason (ed.), Information Processing 83, North-Holland, Amsterdam (1983), pp. 909?914.
3. A. V. Sochilina, ?An algorithm and a program to establish deducibility, which decides wide classes of formulas,? Kibernetika, No. 3, 136?138 (1978).
4. M. S. Paterson and M. Wegman, ?Linear unification,? J. Comput. Syst. Sci.,16, No. 20, 158?167 (1978).
5. D. de Champeaux, ?About the Paterson-Wegman linear unification algorithm,? J. Comput. Syst. Sci.,32, No. 1, 79?90 (1986).