@misc{indiciae5c95435db793,
  title = {Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton},
  author = {Ines Klimann and Sylvain Lombardy and Jean Mairesse and Christophe Prieur},
  year = {2007},
  doi = {10.1016/j.tcs.2004.02.049},
  url = {https://arxiv.org/abs/0709.4117},
  note = {Source identifier: 0709.4117}
}