@book{8669,
	author = {Esparza, Javier  and Michaux, Christian},
	title = {Finite and algorithmic model theory/},
	publisher = {Cambridge University Press,},
	year = {c2011.},
	address = {United Kingdom;},
	note = {Includes bibliographical references.}
}