doi dblp Efficient Search Techniques for the Inference of Minimum Size Finite Automata Arlindo L. Oliveira | João P. Marques Silva String Processing and Information Retrieval: A South American Symposium, SPIRE 1998, Santa Cruz de la Sierra Bolivia, September 9-11, 1998