Susumu Katayama. Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation. In Chengqi Zhang, Hans W. Guesgen, Wai-Kiang Yeap, editors, PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings. Volume 3157 of Lecture Notes in Computer Science, pages 75-84, Springer, 2004. [doi]
Abstract is missing.