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	ACKERMANN, W. Solvable Cases of the Decision Problem. North-Itolland Pub. Co., Amsterdam, 1954.
	2	BETH, E.W. Formal Methods. D. Reidel Pub. Co., Dordrecht, 1962.
	3	CHURCH, A. Introduction to Mathematical Logic, Vol. I. Princeton U. Press, Princeton, N.J., 1956.
	4	DAvis, M. Eliminating the irrelevant from mechanical proofs. Proe. Syrup. Appl. }lath., Vol. 15. Am. Math. Soc., Providence, R.{., 1963, pp. 15-30.
	5	Donald Dawson, A Note on the Feasibility of Application of the Davis Putnam Proof Procedure to Elementary Number Theory, Massachusetts Institute of Technology, Cambridge, MA, 1962
	6	FELLER, W. An Introd~ction to Probability Tt~eory and Its Applications. Vol. I, Wiley, New York, 1952; Vol. II, Wiley, New York, 1968.
	7	Hao Wang, Proving theorems by pattern recognition I, Communications of the ACM, v.3 n.4, p.220-234, April 1960  [doi>10.1145/367177.367224]
	8	NEWELL, A., AND SHAXV, J .C . A variety of intelligent learning in a general problem solver. In Marshall C. Yovits and Scott Cameron (l~}ds.), Self-Organizi*~g Systems, Pergamon Press, New York, 1960, pp. 153-189.
	9	I{OtUNSON, J. A review of automatic theorem-proving. Proe. Syrup. Appl. Math., Vol. I9. Am. Math. Soc., Providence, I~.I., 1967, pp. 1-20.
	10	Donald W. Loveland, Mechanical Theorem-Proving by Model Elimination, Journal of the ACM (JACM), v.15 n.2, p.236-251, April 1968  [doi>10.1145/321450.321456]

• 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
  
  
• The GemStone object database management system Communications of the ACM   34, 10
  Paul Butterworth ,  Allen Otis ,  Jacob Stein
  
  
• Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM   34, 12
  Ellen Francik ,  Susan Ehrlich Rudman ,  Donna Cooper ,  Stephen Levine
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
  Gwo-Dong Chen ,  Daniel D. Gajski