1. A. Tarski and J. C. C. McKinsey, A decision method for elementaryalgebra and geometry (First ed., 1948), Second ed., Berkeley and Los Angeles (1951)
2. On the meta-mathematics of algebra;Robinson,1951
3. A. Robinson, On the application of Symbolic Logic to algebra, Proceedings of the International Congress of Mathematicians, 1950 (Pub. 1952), 686–694