Learning behaviors of automata from shortest counterexamples. - Francesco Bergadano; S. Varrichio (EuroCOLT, 1995)