@book{50437,
	author = {Ackermann, W.},
	title = {Solvable cases of the decision problem /},
	publisher = {North-Holland Pub. Co.,},
	year = {c1954 [ printing 1962]},
	address = {Amsterdam :}
}