Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract).

Klaus P. Jantke Ulf Goldhammer Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). 65-68 1991 LOPSTR db/conf/lopstr/lopstr91.html#JantkeG91