Joost Engelfriet The time complexity of typechecking tree-walking tree transducers. 139-154 2009 46 Acta Inf. 2 http://dx.doi.org/10.1007/s00236-008-0087-y db/journals/acta/acta46.html#Engelfriet09