Takeshi Shinohara Inductive Inference from Positive Data is Powerful. 97-110 1990 COLT http://portal.acm.org/citation.cfm?id=92571.92593 db/conf/colt/colt1990.html#Shinohara90