Efficient Induction of Finite State Automata. - Matthew S. Collins; Jonathan J. Oliver (UAI, 1997)