Lionel Martin Christel Vrain Induction of Constraint Logic Programs. 169-176 1996 conf/alt/1996 ALT db/conf/alt/alt1996.html#MartinV96 http://dx.doi.org/10.1007/3-540-61863-5_44