Rusins Freivalds Gints Tervits Rolf Wiehagen Carl H. Smith Learning Small Programs with Additional Information. 102-112 1997 conf/lfcs/1997 LFCS db/conf/lfcs/lfcs1997.html#FreivaldsTWS97