Induction of recursive program schemes. (1998)

by U Schmid, F Wysotzki
Venue:In ECML,