The elementary theory of groups a guide through the proofs of the Tarski Conjectures - Fine, Benjamin 1948-; Gaglione, Anthony M. 1946-; Myasnikov, Alexei G. 1955-; Rosenberger, Gerhard 1944-; Spellman, Dennis 1945- (De Gruyter Expositions in Mathematics, 2014)