@misc{indiciae1baf53b918b7,
  title = {Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers},
  author = {Paul Gallot and Sebastian Maneth and Keisuke Nakano and Charles Peyrat},
  year = {2024},
  url = {https://arxiv.org/abs/2307.16500},
  note = {Source identifier: 2307.16500}
}