Shigetomo Kimura Atsushi Togashi Norio Shiratori Inductive Synthesis of Recursive Processes from Logical Properties. 257-284 2000 163 Inf. Comput. 2 db/journals/iandc/iandc163.html#KimuraTS00