@inproceedings{HarjuKarhumaki:STOC:1990,
    series = {STOC ’90},
    title = {Decidability of the multiplicity equivalence of multitape finite automata},
    url = {http://dx.doi.org/10.1145/100216.100281},
    doi = {10.1145/100216.100281},
    booktitle = {Proc.~of STOC’90},
    publisher = {ACM Press},
    author = {Harju, Tero and Karhumäki, Juhani},
    year = {1990},
    collection = {STOC ’90},
    date-added = {2023-11-25 9:39:20 +0100}
}

@inproceedings{HarjuKarhumaki:STOC:1990, series = {STOC ’90}, title = {Decidability of the multiplicity equivalence of multitape finite automata}, url = {http://dx.doi.org/10.1145/100216.100281}, doi = {10.1145/100216.100281}, booktitle = {Proc.~of STOC’90}, publisher = {ACM Press}, author = {Harju, Tero and Karhumäki, Juhani}, year = {1990}, collection = {STOC ’90}, date-added = {2023-11-25 9:39:20 +0100} }