English Anti-unification Cited by user Jochen Burghardt on 11 Dec 2023 Anti-unification is the process of constructing a generalization common to two given symbolic expressions.