Hagiya, Sakurai, 1984. Foundation of logic programming based on inductive definition.. https://doi.org/10.1007/bf03037052