TY  - RPRT
TI  - First-order definable string transformations
AU  - Emmanuel Filiot
AU  - Shankara Narayanan Krishna
AU  - Ashutosh Trivedi
PY  - 2014
UR  - https://arxiv.org/abs/1406.7824
ID  - 1406.7824
ER  -