Francesco Bergadano, S. Varrichio. Learning behaviors of automata from shortest counterexamples. In Paul M. B. Vitányi, editor, Computational Learning Theory, Second European Conference, EuroCOLT 95, Barcelona, Spain, March 13-15, 1995, Proceedings. Volume 904 of Lecture Notes in Computer Science, pages 380-391, Springer, 1995.