A disambiguation algorithm for weighted automata. - Mohri, Mehryar; Riley, Michael D. (Theor. Comput. Sci., 2017)