Max I. Kanovich Efficient Program Synthesis in Computational Models. 159-177 1990 9 J. Log. Program. 2&3 db/journals/jlp/jlp9.html#Kanovich90