TY - RPRT TI - String-to-String Interpretations with Polynomial-Size Output AU - Mikołaj Bojańczyk AU - Sandra Kiefer AU - Nathan Lhote PY - 2019 UR - https://arxiv.org/abs/1905.13190 ID - 1905.13190 ER -