LOGICAL AND ALGEBRAIC CHARACTERIZATIONS OF RATIONAL TRANSDUCTIONS. - FILIOT, EMMANUEL; GAUWIN, OLIVIER; LHOTE, NATHAN (Logical Methods in Computer Science (LMCS), 2019)