Carlos Loría-Sáenz Synthesis of Narrowing Programs. 30-45 1992 LOPSTR db/conf/lopstr/lopstr92.html#Loria-Saenz92