Unification in the Description Logic EL without the Top Concept.
['Franz Baader', 'Thanh Binh Nguyen 0003', 'Stefan Borgwardt', 'Barbara Morawska']
Unification in the Description Logic EL without the Top Concept.