@book {291,
	title = {Logik und Logikprogrammierung Band 2: Aufgaben und L{\"o}sungen},
	year = {2011},
	publisher = {Synchron Verlag},
	organization = {Synchron Verlag},
	address = {Heidelberg, Germany},
	issn = {978-3-935025-85-0},
	author = {Steffen H{\"o}lldobler and Sebastian Bader and Bertram Fronh{\"o}fer and Ursula Hans and Pascal Hitzler and Markus Kr{\"o}tzsch and Tobias Pietzsch}
}
