@article{Genet_2010,
    doi = {10.1016/j.jsc.2010.01.009},
    url = {https://doi.org/10.1016%2Fj.jsc.2010.01.009},
    year = {2010},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {45},
    number = {5},
    pages = {574--597},
    author = {Thomas Genet and Vlad Rusu},
    title = {Equational approximations for tree automata completion},
    journal = {Journal of Symbolic Computation}
}

@article{Genet_2010, doi = {10.1016/j.jsc.2010.01.009}, url = {https://doi.org/10.1016%2Fj.jsc.2010.01.009}, year = {2010}, month = {may}, publisher = {Elsevier {BV}}, volume = {45}, number = {5}, pages = {574--597}, author = {Thomas Genet and Vlad Rusu}, title = {Equational approximations for tree automata completion}, journal = {Journal of Symbolic Computation} }