Computing Unifiers, Description Logic, Description Logics, General Concept Inclusions, Minimal Unifiers, NP-complete, unification2.