@book{33394,
	author = {Ebbinghaus, Heinz-Dieter},
	title = {Finite model theory /},
	year = {Springer,},
	address = {New York :},
	edition = {2nd rev. and enl. ed.}
}