Sanjay Jain Efim B. Kinber Rolf Wiehagen Thomas Zeugmann Learning Recursive Functions Refutably. 283-298 2001 conf/alt/2001 ALT http://link.springer.de/link/service/series/0558/bibs/2225/22250283.htm db/conf/alt/alt2001.html#JainKWZ01