Unification in the Description Logic EL

Unification in the Description Logic EL