Rodney G. Downey Geoffrey LaForte Richard A. Shore Decomposition and infima in the computably enumerable degrees. 551-579 2003 68 J. Symb. Log. 2 db/journals/jsyml/jsyml68.html#DowneyLS03