Learning Small Programs with Additional Information. - Rusins Freivalds; Gints Tervits; Rolf Wiehagen; Carl H. Smith (LFCS, 1997)