Unification in modal and description logics

Franz Baader, Silvio Ghilardi. Unification in modal and description logics. Logic Journal of the IGPL, 19(6):705-730, 2011. [doi]

Abstract

Abstract is missing.