Angluin's theorem for indexed families of r.e. sets and applications
Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa