A.Berarducci: Automatic synthesis of typed l-programs on term algebras (1985)

by C Böhm
Venue:Theoretical Computer Science