\begin{thebibliography}{10}

\bibitem{buechi:regular}
J.~R. B\"uchi.
\newblock {W}eak {S}econd--{O}rder {A}rithmetic and {F}inite {A}utomata.
\newblock {\em Zeitschrift f\"ur mathematische Logik und Grundlagen der
  Mathematik}, 6:66 -- 92, 1960.

\bibitem{chomsky:pushdown}
Noam Chomsky.
\newblock Context--free grammars and pushdown storage.
\newblock {\em MIT Research Laboratory of Electronics Quarterly Progress
  Report}, 65, 1962.

\bibitem{doner:acceptors}
John Doner.
\newblock Tree {A}cceptors and {S}ome of {T}heir {A}pplications.
\newblock {\em Journal of Computer and System Sciences}, 4:406 -- 451, 1970.

\bibitem{gazdar:gpsg}
Gerald Gazdar, Ewan Klein, Geoffrey Pullum, and Ivan Sag.
\newblock {\em Generalized Phrase Structure Grammar}.
\newblock Blackwell, Oxford, 1985.

\bibitem{groenink:surface}
Annius Groenink.
\newblock {\em Surface without Structure. Word order and tractability issues in
  natural language processing}.
\newblock PhD thesis, Utrecht University, 1997.

\bibitem{harrison:formal}
Michael~A. Harrison.
\newblock {\em Introduction to Formal Language Theory}.
\newblock Addison Wesley, Reading (Mass.), 1978.

\bibitem{huybregts:overlapping}
R.~Huybregts.
\newblock {O}verlapping {D}ependencies in {D}utch.
\newblock {\em Utrecht Working Papers in Linguistics}, 1:3 -- 40, 1984.

\bibitem{joshietal:convergence}
Aravind Joshi, K.~Vijay-Shanker, and David Weir.
\newblock The {C}onvergence of {M}ildly {C}ontext--{F}ree {G}rammar
  {F}ormalisms.
\newblock In Peter Sells, Stuart~M. Shieber, and Thomas Wasow, editors, {\em
  Foundational Issues in Natural Language Processing}, pages 31 -- 81.
  MIT--Press, 1991.

\bibitem{kleene:regular}
Steven~C. Kleene.
\newblock Representation of events in nerve nets.
\newblock In C.~E. Shannon and J.~McCarthy, editors, {\em Automata Studies},
  pages 3 -- 40. Princeton University Press, 1956.

\bibitem{koster:domains}
Jan Koster.
\newblock {\em Domains and Dynasties: the Radical Autonomy of Syntax}.
\newblock Foris, Dordrecht, 1986.

\bibitem{kracht:codes}
Marcus Kracht.
\newblock Syntactic {C}odes and {G}rammar {R}efinement.
\newblock {\em Journal of Logic, Language and Information}, 1995.

\bibitem{kracht:tools}
Marcus Kracht.
\newblock {T}ools and {T}echniques in {M}odal {L}ogic.
\newblock Habilitationsschrift, 1996.

\bibitem{kracht:essential}
Marcus Kracht.
\newblock {I}nessential {F}eatures.
\newblock In Christian Retor\'{e}, editor, {\em Logical Aspects of
  Computational Linguistics}, number 1328 in Lecture Notes in Artificial
  Intelligence, pages 43 -- 62. Springer, 1997.

\bibitem{kracht:chains}
Marcus Kracht.
\newblock {S}yntax in {C}hains.
\newblock unpublished, 1998.

\bibitem{manzini:locality}
Maria~R. Manzini.
\newblock {\em Locality -- A Theory and Some of Its Empirical Consequences}.
\newblock Number~19 in Linguistic Inquiry Monographs. MIT Press, 1992.

\bibitem{mcnaughton}
Robert McNaughton.
\newblock Parenthesis grammars.
\newblock {\em Journal of the Association for Computing Machinery}, 14:490 --
  500, 1967.

\bibitem{michaelis:mildly}
Jens Michaelis.
\newblock Derivational minimalism is mildly context--sensitive.
\newblock manuscript to be published, 1998.

\bibitem{krachtmichaelis:semilinear}
Jens Michaelis and Marcus Kracht.
\newblock Semilinearity as a syntactic invariant.
\newblock In Christian Retor\'e, editor, {\em Logical Aspects of Computational
  Linguistics (LACL '96)}, number 1328 in Lecture Notes in Computer Science,
  pages 329 -- 345, Heidelberg, 1997. Springer.

\bibitem{petersritchie:power}
Stanley Peters and Graeme Ritchie.
\newblock On the generative power of transformational grammars.
\newblock {\em Information Sciences}, 6:49 -- 84, 1973.

\bibitem{rabin:mso}
Michael~O. Rabin.
\newblock Decidability of {S}econd--{O}rder {T}heories and {A}utomata on
  {I}nfinite {T}rees.
\newblock {\em Transactions of American Mathematical Society}, 141:1 -- 35,
  1969.

\bibitem{rizzi:minimality}
Luigi Rizzi.
\newblock {\em Relativized Minimality}.
\newblock MIT Press, Boston (Mass.), 1990.

\bibitem{rogers:studies}
James Rogers.
\newblock {\em Studies in the Logic of Trees with Applications to Grammar
  Formalisms}.
\newblock PhD thesis, Department of Computer and Information Sciences,
  University of Delaware, 1994.

\bibitem{rogers:say}
James Rogers.
\newblock {W}hat {D}oes a {G}rammar {F}ormalism {S}ay {A}bout a {L}anguage?
\newblock unpublished manuscript, 1995.

\bibitem{sadock:autolexical}
Jerrold~M. Sadock.
\newblock {\em Autolexical Syntax. A Theory of Parallel Grammatical
  Representations}.
\newblock Studies in Contemporary Linguistics. University of Chicago Press,
  Chicago, 1991.

\bibitem{shieber:evidence}
Stuart Shieber.
\newblock Evidence against the {C}ontext--{F}reeness of {N}atural {L}anguages.
\newblock {\em Linguistics and Philosophy}, 8:333 -- 343, 1985.

\bibitem{stabler:minimalism}
Edward~P. Stabler.
\newblock Derivational minimalism.
\newblock In Christian Retor\'{e}, editor, {\em Proceedings of LACL 96}, number
  1328 in Lecture Notes in Artificial Intelligence, Heidelberg, 1997. Springer.

\bibitem{thatcher:cf}
J.~W. Thatcher.
\newblock Characterizing {D}erivation {T}rees of {C}ontext--{F}ree {G}rammars
  through a {G}eneralization of {F}inite {A}utomata.
\newblock {\em Journal of Computer and System Sciences}, 1:317 -- 322, 1967.

\end{thebibliography}
