English Anti-unification (computer science) Cited by user Jarble on 07 Dec 2021 Anti-unification is the process of constructing a generalization common to two given symbolic expressions.