@book{70429,
	author = {Symposium "Rekursive Kombinatorik" and Borger, E.},
	title = {Logic and machines: decision problems and complexity :},
	publisher = {Springer-Verlag,},
	year = {1984},
	address = {Berlin :}
}