Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Buchanan, B. G., Smith, D. H., White, W. C., Gritter, R., Feigenbaum E. A., Lederberg, J., and Djerassi, C. 1976. Applications of artificial intelligence for chemical inference. XXII. Automatic rule formation in mass spectrometry by means of the meta-DENDRAL program. J. ACS 98, 61--68.
	2	H. Gelernter , J. R. Hansen , D. W. Loveland, Empirical explorations of the geometry-theorem proving machine, Computers & thought, MIT Press, Cambridge, MA, 1995
	3	Gentner, D. 2003. Why we're so smart. In Language in Mind: Advances in the Study of Language and Thought, D. Gentner and S. Goldin-Meadow, Eds. MIT Press, Cambridge, Mass.
	4	Goldstein, I., and Papert, S. 1977. Artificial intelligence, language, and the study of knowledge. Cog. Sci. 1, 84--123.
	5	Good, I. J. 1965. Speculations concerning the first ultraintelligent machine. Adv. Comput. 6, 31--88.
	6	Jim Gray, What next?: A dozen information-technology research goals, Journal of the ACM (JACM), v.50 n.1, p.41-57, January 2003  [doi>10.1145/602382.602401]
	7	A. L. Samuel, Some studies in machine learning using the game of checkers, Computers & thought, MIT Press, Cambridge, MA, 1995
	8	Turing, A. M. 1950. Computing machinery and intelligence. Mind 59, 433--460.
	9	Whitemore, H. 1987. Breaking the Code. Amber Lane Press.

• Constructing reality Proceedings of the 11th annual international conference on Systems documentation
  Douglas A. Powell ,  Norman R. Ball ,  Mansel W. Griffiths
  
  
• Web application security assessment by fault injection and behavior monitoring Proceedings of the 12th international conference on World Wide Web
  Yao-Wen Huang ,  Shih-Kun Huang ,  Tsung-Po Lin ,  Chung-Hung Tsai
  
  
• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
  Gwo-Dong Chen ,  Daniel D. Gajski