@article{journals/lmcs/Rabinovich07,
	title = {The Church Synthesis Problem with Parameters.},
	author = {Alexander Rabinovich},
	journal = {Logical Methods in Computer Science},
	number = {4},
	url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs3.html#Rabinovich07},
	volume = {3},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/24a5220a06ce6c1e23e11ce73514a96d1/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.2168/LMCS-3(4:9)2007}, date = {2008-04-07},
	keywords = {dblp }
}