Jürgen Forster Learning Multiplicity Automata from Smallest Counterexamples. 79-90 http://link.springer.de/link/service/series/0558/bibs/1572/15720079.htm 1999 conf/eurocolt/1999 EuroCOLT db/conf/eurocolt/eurocolt1999.html#Forster99