@article{weko_184245_1, author = "Kazuhiro,Abe and Keisuke,Nakano", title = "Towards Practical Typechecking for Macro Forest Transducers", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2017", volume = "10", number = "5", month = "nov" }