@article{IBARRA198189,
    Author = {Ibarra, Oscar H. and Rosier, Louis E.},
    File = {On the decidability of equivalence for deterministic pushdown transducers - ibarra1981.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Pushdown transducer, equivalence, alternate stacking},
    Number = {3},
    Pages = {89-93},
    Title = {On the decidability of equivalence for deterministic pushdown transducers},
    URL = {https://www.sciencedirect.com/science/article/pii/0020019081901162},
    Volume = {13},
    Year = {1981},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0020019081901162},
    bdsk-url-2 = {https://doi.org/10.1016/0020-0190(81)90116-2},
    date-added = {2023-08-26 10:45:29 +0200},
    date-modified = {2023-08-26 10:45:29 +0200},
    doi = {10.1016/0020-0190(81)90116-2}
}

@article{IBARRA198189, Author = {Ibarra, Oscar H. and Rosier, Louis E.}, File = {On the decidability of equivalence for deterministic pushdown transducers - ibarra1981.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Pushdown transducer, equivalence, alternate stacking}, Number = {3}, Pages = {89-93}, Title = {On the decidability of equivalence for deterministic pushdown transducers}, URL = {https://www.sciencedirect.com/science/article/pii/0020019081901162}, Volume = {13}, Year = {1981}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0020019081901162}, bdsk-url-2 = {https://doi.org/10.1016/0020-0190(81)90116-2}, date-added = {2023-08-26 10:45:29 +0200}, date-modified = {2023-08-26 10:45:29 +0200}, doi = {10.1016/0020-0190(81)90116-2} }