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	E. Börger, E. Grädel, and Y. Gurevich. The Classical Decision Problem. Springer Verlag, Berlin, 1997.
	2	C. C. Chang and H. J. Keisler. Model Theory. North-Holland, Amsterdam, 3rd edition, 1990.
	3	H. Comon, M. Dauchet, R. Gilleron, F. J. D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available at: http://www.grappa.univ-lille3.fr/tata, 1997. release October, 1rst 2002.
	4	J. Doner. Tree acceptors and some of their applications. Journal of Computer and System Sciences, 4:406--451, 1970.
	5	Yuri Gurevich , Leo Harrington, Trees, automata, and games, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.60-65, May 05-07, 1982, San Francisco, California, United States  [doi>10.1145/800070.802177]
	6	Y. S. Gurevich. Monadic second-order theories. In J. Barwise and S. Feferman, editors, Model-theoretic Logics. Springer Verlag, 1985.
	7	David Harel , Jerzy Tiuryn , Dexter Kozen, Dynamic Logic, MIT Press, Cambridge, MA, 2000
	8	D. Perrin and J.-E. Pin. Infinite words. Available at http://www.liafa.jussieu.fr/~jep/Resumes/InfiniteWords.html, to appear.
	9	M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. of Amer. Math. Soc., 141:1--35, 1969.
	10	M. O. Rabin. Decidable theories. In J. Barwise, editor, Handbook of Mathematical Logic. North-Holland, Amsterdam, 1977.
	11	James Rogers, Descriptive Approach to Language - Theoretic Complexity, CSLI Publications, Stanford, CA, 1998
	12	Colin Stirling, Modal and temporal properties of processes, Springer-Verlag New York, Inc., New York, NY, 2001
	13	J. W. Thatcher and J. B. Wright. Generalized finite automata with an application to a decision problem of second order logic. Mathematical Systems Theory, 2:57--82, 1968.
	14	Wolfgang Thomas, Automata on infinite objects, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991

• 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