Decheng Ding Klaus Weihrauch Yongcheng Wu Absolutely Non-effective Predicates and Functions in Computable Analysis. 595-604 2007 conf/tamc/2007 TAMC http://dx.doi.org/10.1007/978-3-540-72504-6_53 db/conf/tamc/tamc2007.html#DingWW07