A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-AutomataDaniel KirstenRAIRO-Theor. Inf. Appl., 42 3 (2008) 553-581DOI: https://doi.org/10.1051/ita:2008017
