10 citations · 29 across the 14 of their papers we have counts for
1 paper · 2 filters
Gonzague Yernaux, Wim Vanhoof
Anti-unification in logic programming refers to the process of capturing common syntactic structure among given goals, computing a single new goal that is more general called a gen…