@article{Andre_1998,
    doi = {10.1016/s0304-3975(97)00080-7},
    url = {https://doi.org/10.1016%2Fs0304-3975%2897%2900080-7},
    year = {1998},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {205},
    number = {1-2},
    pages = {207--229},
    author = {Yves Andre and Francis Bossut},
    title = {On the equivalence problem for letter-to-letter top-down tree transducers},
    journal = {Theoretical Computer Science}
}

@article{Andre_1998, doi = {10.1016/s0304-3975(97)00080-7}, url = {https://doi.org/10.1016%2Fs0304-3975%2897%2900080-7}, year = {1998}, month = {sep}, publisher = {Elsevier {BV}}, volume = {205}, number = {1-2}, pages = {207--229}, author = {Yves Andre and Francis Bossut}, title = {On the equivalence problem for letter-to-letter top-down tree transducers}, journal = {Theoretical Computer Science} }