Synthese von Narrowingprogrammen - Loría-Sáenz, Carlos (SEKI working paper, 1992)