Learning Deterministic Finite Automata from Smallest Counterexamples. - Andreas Birkendorf; Andreas Böker; Hans Ulrich Simon (SIAM J. Discret. Math., 2000)