"On definable filters in computably enumerable degrees."

Wei Wang, Decheng Ding (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics