Learning Recursive Theories with ATRE