Cyril Allauzen Mehryar Mohri Efficient Algorithms for Testing the Twins Property. 117-144 2003 8 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc8.html#AllauzenM03