1. Bagai, R., Shanbhogue, V,. Żytkow, J.M., and Chou, S.C., (1993), Automatic theorem generation in plane geometry, in: Komorowski J. and Ras Z. eds. Methodologies for Intelligent Systems, Springer-Verlag, 415–424.
2. Boden, M. (1991), The creative mind: Myths and Mechanisms, Basic Books.
3. Bridgman, P.W. (1927), The Logic of Modern Physics, The Macmillan Company.
4. Buchanan, B.G., Smith, D.H., White, W.C., Gritter, R.J., Feigenbaum, E.A., Lederberg, J. and Djerassi, C. (1976), Automatic Rule Formation in Mass Spectrometry by Means of the Meta-dendral Program, Journal of the American Chemical Society, 98, 6168–6178
5. Carnap, R. (1936), Testability and Meaning, Philosophy of Science, 3.