Stephane Lapointe Charles X. Ling Stan Matwin Constructive Inductive Logic Programming. 1030-1036 1993 conf/ijcai/1993 IJCAI db/conf/ijcai/ijcai93.html#LapointeLM93