Inductive Program Synthesis for Theory Plan Generation

Oksana Arnold, Klaus P. Jantke. Inductive Program Synthesis for Theory Plan Generation. New Generation Comput., 15(1):27-58, 1997.

Abstract

Abstract is missing.