Anti-unification in Constraint Logic Programming

Gonzague Yernaux, Wim Vanhoof. Anti-unification in Constraint Logic Programming. TPLP, 19(5-6):773-789, 2019. [doi]

Abstract

Abstract is missing.