Automatic synthesis of typed A-programs on term algebras (1985)

by C B6hm, A Berarducci
Venue:J. Theor. Comput. Sci