Kazuhiro Inaba Sebastian Maneth The Complexity of Translation Membership for Macro Tree Transducers http://arxiv.org/abs/0910.2315 2009 CoRR abs/0910.2315 db/journals/corr/corr0910.html#abs-0910-2315 informal publication