of brute-force search in strongly-typed inductive functional programming automation (2004)

by Power
Venue:In PRICAI 2004: Trends in Artificial Intelligence