Christof Löding, Sarah Winter: Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers. MFCS 2016: 65:1-65:14