@article{Blattner_1979,
    title = {The decidability of equivalence for deterministic finite transducers},
    volume = {19},
    issn = {0022-0000},
    url = {http://dx.doi.org/10.1016/0022-0000(79)90012-6},
    doi = {10.1016/0022-0000(79)90012-6},
    number = {1},
    journal = {Journal of Computer and System Sciences},
    publisher = {Elsevier BV},
    author = {Blattner, Meera and Head, Tom},
    year = {1979},
    month = {aug},
    pages = {45–49},
    date-added = {2025-3-9 18:48:46 +0100}
}

@article{Blattner_1979, title = {The decidability of equivalence for deterministic finite transducers}, volume = {19}, issn = {0022-0000}, url = {http://dx.doi.org/10.1016/0022-0000(79)90012-6}, doi = {10.1016/0022-0000(79)90012-6}, number = {1}, journal = {Journal of Computer and System Sciences}, publisher = {Elsevier BV}, author = {Blattner, Meera and Head, Tom}, year = {1979}, month = {aug}, pages = {45–49}, date-added = {2025-3-9 18:48:46 +0100} }