Steffen Lange Jochen Nessel Rolf Wiehagen Learning Recursive Languages from Good Examples. 27-52 1998 23 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai23.html#LangeNW98