Citation: Prj. Vanderlaag et Sh. Nienhuyscheng, COMPLETENESS AND PROPERNESS OF REFINEMENT OPERATORS IN INDUCTIVE LOGIC PROGRAMMING, The journal of logic programming, 34(3), 1998, pp. 201-225
Citation: Sh. Nienhuyscheng et R. Dewolf, LEAST GENERALIZATIONS AND GREATEST SPECIALIZATIONS OF SETS OF CLAUSES, The journal of artificial intelligence research, 4, 1996, pp. 341-363