@article{doi:10.1137/0211013,
    Author = {Friedman, E. P. and Greibach, S. A.},
    EPrint = {https://doi.org/10.1137/0211013},
    File = {A Polynomial Time Algorithm for Deciding the Equivalence Problem for 2-Tape Deterministic Finite State Acceptors - friedman1982 - a - h.pdf},
    Journal = {SIAM Journal on Computing},
    Number = {1},
    Pages = {166-183},
    Title = {A Polynomial Time Algorithm for Deciding the Equivalence Problem for 2-Tape Deterministic Finite State Acceptors},
    URL = {https://doi.org/10.1137/0211013},
    Volume = {11},
    Year = {1982},
    bdsk-url-1 = {https://doi.org/10.1137/0211013},
    date-added = {2020-10-25 12:21:38 +0100},
    date-modified = {2020-10-25 12:21:38 +0100},
    doi = {10.1137/0211013}
}

@article{doi:10.1137/0211013, Author = {Friedman, E. P. and Greibach, S. A.}, EPrint = {https://doi.org/10.1137/0211013}, File = {A Polynomial Time Algorithm for Deciding the Equivalence Problem for 2-Tape Deterministic Finite State Acceptors - friedman1982 - a - h.pdf}, Journal = {SIAM Journal on Computing}, Number = {1}, Pages = {166-183}, Title = {A Polynomial Time Algorithm for Deciding the Equivalence Problem for 2-Tape Deterministic Finite State Acceptors}, URL = {https://doi.org/10.1137/0211013}, Volume = {11}, Year = {1982}, bdsk-url-1 = {https://doi.org/10.1137/0211013}, date-added = {2020-10-25 12:21:38 +0100}, date-modified = {2020-10-25 12:21:38 +0100}, doi = {10.1137/0211013} }