1. A. Baudisch ?The theory of Abelian groups with quantifier (?x),? Z. Math. Log. Grundle. Math.,23, No. 5, 447?462 (1977).
2. M. Weese, ?The universality of Boolean algebras with the Hartig quantifier,? Lect. Notes Math.,537, 291?296 (1976).
3. A. I. Mal'tsev, ?Axiomatizable classes of locally free algebras of certain types,? Sib. Mat. Zh.,3, No. 5, 729?743 (1962).
4. A. Tarski, ?Some decision problems for locally free commutative algebras,? Not. Am. Math. Soc., No. 13, A-634 (1966).
5. J. Doner, ?Decidability of locally free algebras with unary operations,? Not. Am. Math. Soc.,13, A-634-635 (1966).