1. [Be] Belegradek, O.V.: Theory of models of locally free algebras. Tr. Inst. Mat.8, 3?25 (1988)
2. [BP] Bouscaren, E., Poizat, B.: Des belles paires aux beaux uples. J. Symb. Logic53(2), 434?442 (1988)
3. [Cl] Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and databases. New York: Plenum Press 1978
4. [Col] Colmerauer, A.: Equations and inequations on finite and infinite trees. FGCS'84 Proc., pp. 85?99 (1984)
5. [CL] Comon, H., Lescanne, P.: Equational problems and disunification. J. Sym. Comput.7, 375?426 (1989)