An Algebraic Framework for Inductive Program Synthesis

Authored By:	K. P. Jantke
Paper Title:	An Algebraic Framework for Inductive Program Synthesis
In:	LNCS
Vol. 215
Publication Date:	1986
Pages:	101-122