Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. - Paul Gallot; Sebastian Maneth; Keisuke Nakano 001; Charles Peyrat (ICALP, 2024)