@book{68463,
	author = {Flum, J�org. and ebrary, Inc.},
	title = {Logic and automata},
	publisher = {Amsterdam University Press,},
	year = {c2008.},
	series = {Texts in logic and games ;},
	address = {Amsterdam :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10302747}
}