@article{Doyen_2025,
    title = {Top-down complementation of automata on finite trees},
    volume = {187},
    issn = {0020-0190},
    url = {http://dx.doi.org/10.1016/j.ipl.2024.106499},
    doi = {10.1016/j.ipl.2024.106499},
    journal = {Information Processing Letters},
    publisher = {Elsevier BV},
    author = {Doyen, Laurent},
    year = {2025},
    month = {jan},
    pages = {106499},
    date-added = {2024-6-11 16:1:35 +0100}
}

@article{Doyen_2025, title = {Top-down complementation of automata on finite trees}, volume = {187}, issn = {0020-0190}, url = {http://dx.doi.org/10.1016/j.ipl.2024.106499}, doi = {10.1016/j.ipl.2024.106499}, journal = {Information Processing Letters}, publisher = {Elsevier BV}, author = {Doyen, Laurent}, year = {2025}, month = {jan}, pages = {106499}, date-added = {2024-6-11 16:1:35 +0100} }