@article{Engelfriet_2003,
    doi = {10.1137/s0097539701394511},
    url = {https://doi.org/10.1137%2Fs0097539701394511},
    year = {2003},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {32},
    number = {4},
    pages = {950--1006},
    author = {Joost Engelfriet and Sebastian Maneth},
    title = {Macro Tree Translations of Linear Size Increase are {MSO} Definable},
    journal = {{SIAM} Journal on Computing}
}

@article{Engelfriet_2003, doi = {10.1137/s0097539701394511}, url = {https://doi.org/10.1137%2Fs0097539701394511}, year = {2003}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {32}, number = {4}, pages = {950--1006}, author = {Joost Engelfriet and Sebastian Maneth}, title = {Macro Tree Translations of Linear Size Increase are {MSO} Definable}, journal = {{SIAM} Journal on Computing} }