Masami Hagiya Takafumi Sakurai Foundation of Logic Programming Based on Inductive Definition. 59-77 1984 2 New Generation Comput. 1 db/journals/ngc/ngc2.html#HagiyaS84