@article{Gurari_1982,
    doi = {10.1137/0211035},
    url = {https://doi.org/10.1137%2F0211035},
    year = {1982},
    month = {aug},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {11},
    number = {3},
    pages = {448--452},
    author = {Eitan M. Gurari},
    title = {The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable},
    journal = {{SIAM} Journal on Computing}
}

@article{Gurari_1982, doi = {10.1137/0211035}, url = {https://doi.org/10.1137%2F0211035}, year = {1982}, month = {aug}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {11}, number = {3}, pages = {448--452}, author = {Eitan M. Gurari}, title = {The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable}, journal = {{SIAM} Journal on Computing} }