@article{Maneth_2024,
    title = {Functionality of compositions of top-down tree transducers is decidable},
    volume = {296},
    issn = {0890-5401},
    url = {http://dx.doi.org/10.1016/j.ic.2023.105131},
    doi = {10.1016/j.ic.2023.105131},
    journal = {Information and Computation},
    publisher = {Elsevier BV},
    author = {Maneth, Sebastian and Seidl, Helmut and Vu, Martin},
    year = {2024},
    month = {jan},
    pages = {105131},
    date-added = {2024-1-18 16:8:32 +0100}
}

@article{Maneth_2024, title = {Functionality of compositions of top-down tree transducers is decidable}, volume = {296}, issn = {0890-5401}, url = {http://dx.doi.org/10.1016/j.ic.2023.105131}, doi = {10.1016/j.ic.2023.105131}, journal = {Information and Computation}, publisher = {Elsevier BV}, author = {Maneth, Sebastian and Seidl, Helmut and Vu, Martin}, year = {2024}, month = {jan}, pages = {105131}, date-added = {2024-1-18 16:8:32 +0100} }