Wim Martens Frank Neven Typechecking Top-Down Uniform Unranked Tree Transducers. 64-78 2003 conf/icdt/2003 ICDT http://dx.doi.org/10.1007/3-540-36285-1_5 db/conf/icdt/icdt2003.html#MartensN03