1. G. Gr�tzer,On the class of subdirect powers of a finite algebra, Acta. Sci. Math.,25 (1964), 160?168.
2. G.Gr�tzer,Universal Algebra, Springer-Verlag, 1979.
3. K. Hickin, J. Plotkin,On the equivalence of three local theorem techniques, Proceedings of the A.M.S.,35 (1972), 389?391.
4. D. McLain,Local theorems in universal algebras, J. London Math. Soc.34 (1959), 177?184.
5. M. Samhan,First order definability in universal algebra, Ph.D. thesis, University of Illinois at Chicago, 1985.