1. A. I. Mal’tsev, “On Some Boundary Questions of Algebra and Logic,” in Proceedings of International Congress of Mathematicians, Moscow, Russia, 1966 (Mir, Moscow, 1966), pp. 217–231 [in Russian].
2. A. I. Mal’tsev, Algebraic Systems (Nauka, Moscow, 1970) [in Russian].
3. W. Craig, “Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory,” J. Symbolic Logic 22(3), 269–285 (1957).
4. E.W. Beth, “On Padoa’s Method in the Theory of Definition,” Indagationes Math. 15(4), 330–339 (1953).
5. B. Jónsson, “Extensions of Relational Structures,” in Theory of Models: Proceeding International Symposium, Berkeley, U.S.A., 1963 (North-Holland, Amsterdam, 1965), pp. 146–157.