Achim Bluemnsath Stephan Kreutzer An Extension of Muchnik's Theorem. 59-74 2005 15 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exh037 db/journals/logcom/logcom15.html#BluemnsathK05