Turning eureka steps into calculations in automatic program synthesis (1990)

by A Bundy, A Smaill, J Hesketh
Venue:Proceedings of UK IT 90