Enrico Maim Abduction and Constraint Logic Programming. 149-153 1992 ECAI db/conf/ecai/ecai92.html#Maim92