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