Monadic Second Order Logic and Node Relations on Graphs and Trees

Extensions of Attribute Grammars for Structured Document Queries

DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming

Attribute grammars for unranked trees as a query language for structured documents

Journal of Computer and System Sciences

XML type checking with macro tree transducers

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

XML transformation by tree-walking transducers with invisible pebbles

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Combining temporal logics for querying XML documents

ICDT'07 Proceedings of the 11th international conference on Database Theory