Loading paper
One-way definability of two-way word transducers | Tomesphere