Bobrow DG and Hayes PJ, 1985, “Artificial intelligence – where are we?” Artificial Intelligence25 (3) 375–415.

Buchanan B, Smith D, White W, Gritter R, Feigenbaum E, Lederberg J and Djerassi C, 1976, “Applications of artificial intelligence for chemical inference. 22. automatic rule formation in mass spectrometry by means of the meta–dendral program” Journal of the American Chemical Society98 (20) 6168–6178.

Carbonell JG, 1992, “Machine learning: A maturing field” Machine Learning95–7.

Crevier D, 1993, Al: The Tumultuous History of the Search for Artificial Intelligence, Basic Books.

Dunbar K, 1995, “How scientists really reason: Scientific reasoning in real-world laboratories.” In: The Nature of Insight, 365–395, MIT Press.

Gelernter H, 1963, “Realization of a geometry-theorem proving machine.” In: Feigenbaum EA and Feldman J, editors, Computers and Thought, McGraw-Hill.

Gordon A, Edwards P, Sleeman D and Kodratoff Y, 1994, “Scientific discovery in a space of structural models: An example from the history of solution chemistry.” In: Proceedings of the 16th Conference of the Cognitive Science Society381–386.

Hearn AC, 1990, Future Directions for Research in Symbolic Computation, Siam, Philadelphia.

Hendrickson J and Toczko A, 1989, “SYNGEN program for synthesis design: basic computing techniques” Journal of Chemical Information and Computer Sciences29 (3) 137–145.

Holmes FL, 1980, “Hans Krebs and the discovery of the ornithine cycle.” In: Proc of 63rd Annual Meeting of the Federation of American Societies for Experimental Biology 39, Symposium on Aspects of the History of Biochemistry.

Klahr D and Dunbar K, 1988, “Dual space search during scientific reasoning” Cognitive Science121–48.

Kocabas S, 1991a, “Conflict re/ution as discovery in particle physics” Machine Learning6 (3), 05, 277–309.

Kocabas S, 1991b, “Computational models of scientific discovery”, Knowledge Engineering Review6 (4) 259–305.

Kulkarni D and Simon H, 1988, “The processes of scientific discovery: The strategy of experimentation” Cognitive Science12139–175.

Langley P, 1986, “Editorial: On machine learning” Machine Learning15–10.

Langley P and Michalski RS, 1986, “Editorial: Machine learning and discovery” Machine Learning1363–366.

Langley P, Simon H, Bradshaw G and Zytkow J. 1987, Scientific Discovery. Computational Explorations of the Creative Processes, MIT Press.

Lea G and Simon HA, 1974, “Problem /ving and rule induction: A uniuleld view.” In: Gregg LW, editor, Knowledge and Cognition, Lawrence Erlbaum.

Lindsay R, Buchanan B, Feigenbaum E and Lederberg J, 1980, Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project, McGraw-Hill.

Lindsay R, Buchanan B, Feigenbaum E amd Lederberg J, 1993, “DENDRAL: a case study of the first expert system for scientific hypothesis formation” Artificial Intelligence61(2) 06, 209–261.

Mackenzie D, 1995, “The automation of proof: a historical and sociological exploration” IEEE Annals of the History of Computing17 (3) 7–29.

Newell A, 1983, “The heuristic of George Polya and its relation to artificial intelligence.” In: Groner R, Groner M and Bischof W, editors, Methods of Heuristics, Lawrence Erlbaum.

Newell A and Simon HA, 1972, Human Problem /ving, Prentice-Hall.

Newell A and Simon HA, 1976, “Computer science as empirical inquiry: Symbols and search” Communications of the ACM19111–126.

Oliver JE, 1991, The Incomplete Guide to the Art of Discovery, Columbia University Press.

Salmon W, 1966, The Foundations of Scientific Inference, University of Pittsburgh Press. In: Shrager J and Langley P, editors, Computational Models of Scientific Discovery and Theory formation, Morgan Kaufmann.

Simon HA, 1987, “Why should machines learn” Machine Learning125–38.

Spirtes P, Glymour C and Schemes R, 1993, Causation, Prediction, and Search, Springer-Verlag.

Stevenson D, 1994, “Science, computational science, and computer science: At a crossroads” Communications of the ACM37 (12) 12, 85–96.

Thagard P and Nowak G, 1990, “The conceptual structure of the geological revolution.” In: Shrager J and Langley P, editors, Computational Models of Scientific Discovery and Theory Formation27–172, Morgan Kaufman.

Tweney RD, 1990, “Five questions for computationalists.” In: Shrager J and Langley P, editors, Computational Models of Scientific Discovery and Theory Formation471–484, Morgan Kaufmann.

Valdés-Perez RE, 1994a, “Algebraic reasoning about reactions: Discovery of conserved properties in particle physics” Machine Learning17 (1) 47–68.

Valdes-Perez RE, 1994b, “Human/computer interactive elucidation of reaction mechanisms: Application to catalyzed hydrogenolysis of ethane” Catalysis Letters28(1) 09, 79–87.

Valdés-Perez RE, 1995a, “Generic tasks of scientific discovery.” In: Working Notes of the Spring Symposium on Systematic Methods of Scientific Discovery, AAAI Technical Reports.

Valdés-Perez RE, 1995b, “Machine discovery in chemistry: New results” Artificial Intelligence74(1) 03, 191–201.

Valdés-Perez RE, 1995c, “Machine discovery praxis” Foundations of Science1(2) 219–224.

Valdés-Perez RE, 1995d, “Some recent human/computer discoveries in science and what accounts for them” Al Magazine16 (3) Fall, 37–44.

Valdés-Perez RE and Erdmann M, 1994, “Systematic induction and parsimony of phenomenological conservation laws” Computer Physics Communications83(–3) 171–180.

Zytkow J, 1993, Machine Learning12 (1). Special double issue on machine discovery.