@book{85032,
	author = {Gradel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott},
	title = {Finite Model Theory and its Applications},
	publisher = {Springer},
	year = {2010},
	address = {New Delhi}
}