Sanjay Jain 0001 Frank Stephan 0001 Nan Ye Prescribed Learning of R.E. Classes. 64-78 2007 conf/alt/2007 ALT https://doi.org/10.1007/978-3-540-75225-7_9 db/conf/alt/alt2007.html#JainSY07