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

by Alan Bundy, Alan Smaill, Jane Hesketh
Venue:Proc. of UK IT 90