A Survey of State Merging Strategies for DFA Identification in the Limit | Publicación