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	K A Bowen, Meta-level programming and knowledge representation, New Generation Computing, v.3 n.4, p.359-383, 1985
	2	Bowen, I(., and R. l(owalski, Amalgamating language and metalang~age in logic programming, in Logic Programming, eds. I(. Clark and S.-A. Tarnlund, Academic Press, London and New York, 1982, pp. 153-172.
	3	Bowen, I(, and T. Weinberg, A recta-level extension of Prolog, in Proc. 1985 Symposium on Logic Programming, eds. J. Cohen and 3. Conery, IEEE Computer Society Press, Washington, D.C., 19815, pp. 48-53.
	4	Keith L. Clark , Steve Gregory, A relational language for parallel programming, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.171-178, October 18-22, 1981, Portsmouth, New Hampshire, United States  [doi>10.1145/800223.806776]
	5	PARLOG: Parallel programming in logic, Research Report DOC 84/4, Dept. of Computing, Imperial College, London, 1984a.
	6	Note~ on ,~stem~ programming in PARLOG, Resear~ll Report DOC 84/15, Dept. of Compu6ing, Imperial College, London, 1984b.
	7	Notes on the implementation of PAR- LOG, Research Report DOC 84/16, Dept. of Computing, Imperial College, London, 1984c.
	8	Dincbas, M. and Le Pape, J.-P., Metacontrol of logic Programs in METALOG/fR, in Poor. Int'l Conf. Fifth Generation Computer Systems 1984, ICOT, Tokyo, 1984, pp. 361-370.
	9	Eshgl/i, I(., Application of meta-lang~age programruing to fault finding ~n logic circuits, in Pre. First Int'l Logic Programming Conf., Marseille, 1982, pp.240-246.
	10	Furukawa, K., and T. Yokoi, Basic software system, in Proc. Int'i Conf. on Fifth Generation Computer Systems, ICOT, Tokyo, 1084, pp. 37-57.
	11	Gallaire, H. ~nd C. L~sserre, Metatevel control .for logic programs, in Logic Programming, eds. K. Clark and S.-A. Tarnlund, Academic Press, 1982, pp. 173-188.
	12	Goguen, J., and J. Meseguer, Equality, types, modules, and (why not?} generics for logic pro- 9ramming, Journal of Logic Programming v.1, 1984, pp 179-210.
	13	Goguen, J., and J. Meseguer, Eqlog: Equality, types, and generic modules 'of logic programming, to appear in Functional and Logic Programming, ed. DeGroot and Lindstrom, Prentice-Hall, 1985.
	14	Levy, J., A GHC abstract machine and instruction set, Technical Report, Dept. Applied Math., Weizmann Institute of Science, Rehovot, Israel.
	15	Mierowsky, C., S. Taylor, E. Shapiro, J. Levy, 85 M. Safra, The design and implementation of fiat Concurrent Prolog, Research Report CS85-09, Dept. Applied Math., Weizmann Institute of Science, Rehovot, Israel, 1985.
	16	Shapiro, E., A subset of Concurrent Prolog and its interpreter, Technical Report TR-003, ICOT, Tokyo, 1983.
	17	Shapiro, E., and C. Mierowsky, Fair, biased and self-balancing merge operators: their specification and implementation in Concurrent Prolog, New Generation Computing, 2(2), 1984, pp. 221-240; also in Proc. Int'l Symposium on Logic Programming, Atlantic City, NJ, 1984.
	18	Kazunori Ueda, Guarded Horn Clauses, Proceedings of the 4th Conference on Logic Programming '85, p.168-179, July 01-03, 1985

• 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 conference on Design automation
  Gwo-Dong Chen ,  Daniel D. Gajski