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

Klaus P. Jantke, Ulf Goldhammer (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics