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). In LOPSTR. pages 65-68, 1991.

Bibliographies