@inproceedings{MeerZiegler2009, author = {Klaus Meer and Martin Ziegler}, title = {An explicit solution to Post's problem over the reals}, booktitle = {Fundamentals of computation theory, 15th international symposium, FCT 2005, L{\"u}beck, Germany, August 17 - 20, 2005}, editor = {Maciej Liskiewicz}, pages = {456 -- 467}, year = {2009}, }