"Decision problems for origin-close top-down tree transducers (full version)."

Sarah Winter (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics