"Efficient Search Techniques for the Inference of Minimum Size Finite Automata."

Arlindo L. Oliveira, João P. Marques Silva (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics