Rusins Freivalds Inductive Inference of Minimal Programs. 3-22 1990 COLT http://portal.acm.org/citation.cfm?id=92571.92573 db/conf/colt/colt1990.html#Freivalds90