On the determinization of weighted finite automata (2000)

by A L Buchsbaum, R Giancarlo, J R Westbrook
Venue:SIAM Journal on Computing