Patrick R. J. van der Laag Shan-Hwei Nienhuys-Cheng Completeness and Properness of Refinement Operators in Inductive Logic Programming. 201-225 1998 34 J. Log. Program. 3 db/journals/jlp/jlp34.html#LaagN98