Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Ulrik Terp Rasmussen; Kristoffer Aalund Søholm; Sebastian Paaske Tørholm (POPL, 2016)