Higher order function synthesis through proof planning (2001)

by A Cook, A Ireland, G Michaelson
Venue:In ASE-16