Predicate Anti-unification in (Constraint) Logic Programming.

Gonzague Yernaux, Wim Vanhoof

Browse the full LOPSTR paper archive.