@book{25593,
	author = {Konopasek Milos},
	title = {The TK !Solver Book :}
}