Maneth, S., Seidl, H., Herbstritt, M., 2013. Tree Transducers and Formal Methods (Dagstuhl Seminar 13192).. https://doi.org/10.4230/dagrep.3.5.1