Foundation of logic programming based on inductive definition (1984)

by M Hagiya, T Sakurai
Venue:New Generation Computing