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	ALLEN, J., AND LUCKHAM, D. An interactive theorem-proving program. Machine Intelligence 6, B. Meltzer and D. Michie, Eds., American Elsevier, New York, 1970, pp. 321- 336.
	2	ANDERSON, R. Completeness results for E-resolution. Proc. of the AFIPS 1970 SJCC, pp. 653-656.
	3	CHANG, C.L. Renamable paramodulation for automatic theorem proving with equality. Artif. Intel. 1 (1970), 247-256.
	4	DARLING~ON, J. Theorem provers as question answerers. Proe. of, the International Joint Conference on Artificial Intelligence, 1969, D. Walker and L. Norton, Eds.
	5	Martin Davis , Hilary Putnam, A Computing Procedure for Quantification Theory, Journal of the ACM (JACM), v.7 n.3, p.201-215, July 1960  [doi>10.1145/321033.321034]
	6	GILMORE, P. A proof method for quantification theory: Its justification and realization. IBM J. Reg. Dsv. 4 (Jan. 1960), 28-35.
	7	C. Cordell Green , Bertram Raphael, The use of theorem-proving techniques in question-answering systems, Proceedings of the 1968 23rd ACM national conference, p.169-181, August 27-29, 1968  [doi>10.1145/800186.810578]
	8	KOWALSKI, R. The case for using axioms in automatic demonstrations. Symposium on Automatic Demonstration (Lecture Notes in Mathematics, Vol. 125). Springer-Verlag, New York, 1970, pp. 112-127.
	9	KOWALSKI, R., AND HAYES, P. Semantic trees in automatic theorem proving. Machine Intelligence 4, B. Meltzer and D. Michie, Eds., American Elsevier, New York, 1969, pp. 87-101.
	10	McCARTHY, J. Programs with common sense. Proe. of the Symposium on the Mechanization of Thought Processes. Her Majesty's Stationery Office, London, 1959, pp. 75-84.
	11	Elliott Mendelson, Introduction to mathematical logic (3rd ed.), Wadsworth Publ. Co., Belmont, CA, 1987
	12	ROBINSON, G., AND WOS, L. Paramodulation and theorem proving in first order theories with equality. Machine Intelligence ~,, B. Meltzer and D. Michie, Eds., American Elsevier, New York, 1969, pp. 135-150.
	13	J. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM (JACM), v.12 n.1, p.23-41, Jan. 1965  [doi>10.1145/321250.321253]
	14	ROBINSON, J.A. A review of automatic theorem proving. Proc. of the Symposia in Applied Mathematics, Vol. 19. American Mathematical Society, Providence, R.I., 1967, pp. 1-18.
	15	SLAeLE, J. R. Artificial Intelligence: The Heuristic Programming Approach. McGraw- Hill, New York, 1971.
	16	James R. Slagle, Automatic Theorem Proving With Renamable and Semantic Resolution, Journal of the ACM (JACM), v.14 n.4, p.687-697, Oct. 1967  [doi>10.1145/321420.321428]
	17	James R. Slagle, Interpolation Theorems for Resolution in Lower Predicate Calculus, Journal of the ACM (JACM), v.17 n.3, p.535-542, July 1970  [doi>10.1145/321592.321604]
	18	WANG, H. Formalization and automatic theorem proving. Information Processing 1965 (Proc. of the IFIP Congress 65), Vol. 1, W. Kalenich, Ed., Spartan Books, Washington, D.C., 1965, pp. 51-58.
	19	Wos, L., CARSON, D., AND ROBINSON, G. The unit preference strategy in theorem proving. Proc. of the AFIPS 1964 FJCC, pp. 616-621.
	20	Lawrence Wos , George A. Robinson , Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving, Journal of the ACM (JACM), v.12 n.4, p.536-541, Oct. 1965  [doi>10.1145/321296.321302]
	21	Wos, L., AND ROBINSON, G. Maximal models and refutation completeness: Semidecision procedures in automatic theorem proving. In Word Problems in Group Theory: The Burnside Problem and Decision Problems, W. W. Boone, F. B. Cannonito, and R. C. Lyndon, Eds., North-Holland Pub. Co., Amsterdam, 1971.

• 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