Christof Löding, Sarah Winter: Resynchronized Uniformization and Definability Problems for Rational Relations. Discret. Math. Theor. Comput. Sci. 25(2) (2023)