Andrea Sorbi Guohua Wu Yue Yang High Minimal Pairs in the Enumeration Degrees. 335-344 2009 TAMC http://dx.doi.org/10.1007/978-3-642-02017-9_36 conf/tamc/2009 db/conf/tamc/tamc2009.html#SorbiWY09