Akihiro Yamamoto Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program. 119-127 1999 17 New Generation Comput. 1 db/journals/ngc/ngc17.html#Yamamoto99a