Klaus Meer Martin Ziegler An explicit solution to Post's Problem over the reals. 3-15 2008 24 J. Complexity 1 http://dx.doi.org/10.1016/j.jco.2006.09.004 db/journals/jc/jc24.html#MeerZ08