François Bronsard;Uday S. Reddy
-;-
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Contextual Rewriting In Automated Reasoning
Fundamenta Informaticae