Luc De Raedt Wim Van Laer Inductive Constraint Logic. 80-94 1995 conf/alt/1995 ALT db/conf/alt/alt1995.html#RaedtL95 http://dx.doi.org/10.1007/3-540-60454-5_30