@article{Engelfriet2006206,
    Author = {Engelfriet, Joost and Maneth, Sebastian},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Transducer},
    Number = {5},
    Pages = {206 - 212},
    Title = {The equivalence problem for deterministic \{MSO\} tree transducers is decidable},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020019006001463},
    Volume = {100},
    Year = {2006},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019006001463},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2006.05.015},
    date-added = {2014-05-09 12:34:41 +0000},
    date-modified = {2014-05-09 12:34:41 +0000},
    doi = {10.1016/j.ipl.2006.05.015}
}

@article{Engelfriet2006206, Author = {Engelfriet, Joost and Maneth, Sebastian}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Transducer}, Number = {5}, Pages = {206 - 212}, Title = {The equivalence problem for deterministic {MSO} tree transducers is decidable}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019006001463}, Volume = {100}, Year = {2006}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019006001463}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2006.05.015}, date-added = {2014-05-09 12:34:41 +0000}, date-modified = {2014-05-09 12:34:41 +0000}, doi = {10.1016/j.ipl.2006.05.015} }