@misc{MeerZiegler2009, author = {Klaus Meer and Martin Ziegler}, title = {An explicit solution to Post's problem over the reals}, booktitle = {Journal of Complexity}, volume = {24}, number = {1}, issn = {0885-064x}, institution = {FG Theoretische Informatik}, type = {articler}, pages = {3 -- 15}, year = {2009}, }