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

by Power
Venue:In PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, LNAI 3157