Kazuhiro Abe Keisuke Nakano 0001 Towards Practical Typechecking for Macro Forest Transducers. 962-974 2017 25 J. Inf. Process. https://doi.org/10.2197/ipsjjip.25.962 db/journals/jip/jip25.html#AbeN17