Inductive Synthesis of Recursive Processes from Logical Properties
| Authored By: | Shigetomo Kimura, Atsushi Togashi and Norio Shiratori |
| Paper Title: | Inductive Synthesis of Recursive Processes from Logical Properties |
| In: | Inform. Comput. |
| Number 2 Vol. 163 | |
| Publication Date: | December 2000 |
| Pages: | 257-284 |