@InProceedings{kepser:2003, author = {Stephan Kepser}, title = {Finite {S}tructure {Q}uery: A Tool for Querying Syntactically Annotated Corpora}, booktitle = {Proceedings EACL 2003}, pages = {179--186}, year = 2003, editor = {Ann Copestake and Jan Haji{\v{c}}} } @InProceedings{kepseretal:2002, author = {Stephan Kepser and Uwe M{\"o}nnich and Frank Morawietz}, title = {Model Checking Secondary Relations}, booktitle = {Formal Grammar 2002}, pages = {65--75}, year = 2002, editor = {Gerhard J{\"a}ger and Paola Monachesi and Gerald Penn and Shuly Wintner} } @Book{chomsky:1981, author = "Chomsky, Noam", title = "Lectures on Government and Binding", publisher = "Foris Publications", year = 1981, address = "Dordrecht, Holland" } @Article{blackburn&spaan:1993, author = {Patrick Blackburn and Edith Spaan}, title = {A Modal Perspective on the Computational Complexity of Attribute Value Grammar}, journal = {Journal of Logic, Language, and Information}, year = 1993, volume = 2, pages = {129--169} } @Article{engelfriet:1977, author = {Joost Engelfriet and Erik Schmidt}, title = {{IO} and {OI}. {I}}, journal = {Journal of Computer and System Sciences}, year = {1977}, volume = {15}, number = 3, pages = {328--353} } @Article{engelfriet:1978, author = {Joost Engelfriet and Erik Schmidt}, title = {{IO} and {OI}. {II}}, journal = {Journal of Computer and System Sciences}, year = 1978, volume = 16, number = 1, pages = {67--99} } @Article{engelfriet:1991, author = {Joost Engelfriet}, title = {Iterated stack automata and complexity classes}, journal = {Information and Computation}, year = 1991, volume = 95, pages = {21--75} } @InCollection{engelfriet:1997, author = {Joost Engelfriet}, title = {Context-Free Graph Grammars}, booktitle = {Handbook of Formal Languages, Vol III: Beyond Words}, pages = {125--213}, publisher = {Springer}, year = 1997, editor = {Grzegorz Rozenberg and Arto Salomaa} }