Logic-based anti-unification
Christian Antić · HAL (Le Centre pour la Communication Scientifique Directe) · 2023
The purpose of this paper is to introduce logic-based anti-unification as a proper generalization of both classical syntactic and the recently introduced semantic anti-unification in general algebras.