1. V. A. Gorbunov and A. V. Kravchenko, “Universal Horn logic, colour-families, and formal languages,”Proc. Conf. Gen. Alg. Discr. Math., Shaker Verlag, Aachen (1997), pp. 77–91.
2. A. I. Mal’tsev,Algebraic Systems [in Russian], Nauka, Moscow (1970).
3. V. A. Gorbunov, “Cardinals of subdirectly indecomposable systems in quasivarieties,”Algebra Logika,25, No. 1, 3–50 (1986).
4. V. A. Gorbunov and V. I. Tumanov, “The structure of lattices of quasivarieties,”Trudy Inst. Mat. SO AN SSSR, Vol. 2, Nauka, Novosibirsk (1982), pp. 12–44.
5. L. Lovász, “On the cancellation law among finite relational structures,”Per. Math. Hung.,1, No. 2, 145–156 (1971).