Angluin's Theorem for Indexed Families of r.e. Sets and Applications.

Dick De Jongh Makoto Kanazawa Angluin's Theorem for Indexed Families of r.e. Sets and Applications. 193-204 1996 COLT http://doi.acm.org/10.1145/238061.238095 db/conf/colt/colt1996.html#JonghK96