Unification in modal and description logics
Franz Baader, Silvio Ghilardi · Logic Journal of IGPL · 2010
Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics. 1