Look-ahead removal for total deterministic top-down tree transducers

Abstract