Nancy L. Tinkham Schema Induction for Logic Program Synthesis. 1-47 1998 98 Artif. Intell. 1-2 db/journals/ai/ai98.html#Tinkham98 http://dx.doi.org/10.1016/S0004-3702(97)00055-6