Ker-I Ko On the Complexity of Learning Minimum Time-Bounded Turing Machines. 82-96 1990 COLT http://portal.acm.org/citation.cfm?id=92571.92591 db/conf/colt/colt1990.html#Ko90