Tero Harju, Juhani Karhumäki. Decidability of the Multiplicity Equivalence of Multitape Finite Automata. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 14-16 May 1990, Baltimore, Maryland, USA. pages 477-481, ACM, 1990.
Abstract is missing.