Composition closure of linear extended top-down tree transducers

Abstract