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

Tue, 01 Jan 1991 00:00:00 +0100

Klaus P. Jantke , Ulf Goldhammer:
Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). LOPSTR 1991: 65-68