@article{8e8d14458b6e43169abedace6ea2ca62,
title = "Monadic Second-Order Logic and Transitive Closure Logics over Trees",
keywords = "Monadic second order logic, derivation tree, descriptive complexity, model theoretic syntax, natural language, transitive closure logic",
author = "Tiede, {Hans J{\"o}rg} and Stephan Kepser",
year = "2006",
month = nov,
day = "22",
doi = "10.1016/j.entcs.2006.05.044",
language = "English",
volume = "165",
pages = "189--199",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
number = "SPEC. ISS.",
}