@article{10.1137/0216018,
    Address = {USA},
    Author = {Culik, Karel and Karhum\"{a}ki, Juhani},
    File = {The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable - 10.1137@0216018.pdf},
    ISSN = {0097-5397},
    Journal = {SIAM J. Comput.},
    Month = {apr},
    Number = {2},
    Pages = {221--230},
    Publisher = {Society for Industrial and Applied Mathematics},
    Title = {The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable},
    URL = {https://doi.org/10.1137/0216018},
    Volume = {16},
    Year = {1987},
    bdsk-url-1 = {https://doi.org/10.1137/0216018},
    date-added = {2022-03-21 23:00:04 +0100},
    date-modified = {2022-03-21 23:00:04 +0100},
    issue_date = {April 1987},
    numpages = {10},
    doi = {10.1137/0216018}
}

@article{10.1137/0216018, Address = {USA}, Author = {Culik, Karel and Karhum\"{a}ki, Juhani}, File = {The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable - 10.1137@0216018.pdf}, ISSN = {0097-5397}, Journal = {SIAM J. Comput.}, Month = {apr}, Number = {2}, Pages = {221--230}, Publisher = {Society for Industrial and Applied Mathematics}, Title = {The Equivalence Problem for Single-Valued Two-Way Transducers (on NPDTOL Languages) is Decidable}, URL = {https://doi.org/10.1137/0216018}, Volume = {16}, Year = {1987}, bdsk-url-1 = {https://doi.org/10.1137/0216018}, date-added = {2022-03-21 23:00:04 +0100}, date-modified = {2022-03-21 23:00:04 +0100}, issue_date = {April 1987}, numpages = {10}, doi = {10.1137/0216018} }