roc. of the 24th International Conf. on Machine Learning, 2007. Tur50. Alan Turing. Computing machinery and intelligence. Mind, 59, 1950. Tur77. Valentin F. Thrchin. The Phenomenon of Science. Columbia University Press, 1977. TV96. Thrchin and V. Supercompilation: Techniques and results. In Dines Bjorner, M. Br