Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers. - Kenji Hashimoto; Ryuta Sawada; Yasunori Ishihara; Hiroyuki Seki; Toru Fujiwara (IEICE Trans. Inf. Syst., 2016)