George Barmpalias Anthony Morphett Non-cupping, measure and computably enumerable splittings. 25-43 2009 19 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129508007226 db/journals/mscs/mscs19.html#BarmpaliasM09