Filiot, Krishna, Trivedi, 2014. First-order definable string transformations.