EasyChair Smart Slide
Preservation of Rationality in Infinitary Rewriting by Top-down Tree Transducers
Preservation of Rationality in Infinitary Rewriting by Top-down Tree Transducers