publication venue for Polynomial inference of universal automata from membership and equivalence queries. 246:3-19. 2016