Luc De Raedt Wim Van Laer Inductive Constraint Logic. 80-94 1995 conf/alt/1995 ALT db/conf/alt/alt1995.html#RaedtL95