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.
No takes yet. Share an insight, caveat, or question.
Baader et al. (2010) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: