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