The following publications are possibly variants of this publication:
- Unification in the Description Logic ::::EL::::/mathcal{EL} without the Top ConceptFranz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. cade 2011: 70-84 [doi]
- Unification in the Description Logic ELFranz Baader, Barbara Morawska. dlog 2009: [doi]
- Computing Local Unifiers in the Description Logic EL without the Top ConceptFranz Baader, Nguyen Thanh Binh 0003, Stefan Borgwardt, Barbara Morawska 0001. UNIF 2011: 2-8 [doi]
- Unification of Concept Terms in Description LogicsFranz Baader, Paliath Narendran. ecai 1998: 331-335
- Unification of Concept Terms in Description LogicsFranz Baader, Paliath Narendran. dlog 1997: [doi]
- Unification of Concept Terms in Description LogicsFranz Baader, Paliath Narendran. JSC, 31(3):277-305, 2001.
- Hybrid Unification in the Description Logic ELFranz Baader, Oliver Fernandez Gil, Barbara Morawska. RTA 2013: 8-12 [doi]
- Decidability of Unification in EL without Top ConstructorNguyen Thanh Binh. rr 2011: 170-184 [doi]
- Pinpointing in the Description Logic ::::EL:::::::+:::Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn. ki 2007: 52-67 [doi]
- Pinpointing in the Description Logic ELFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn. dlog 2007: [doi]
- Unification in the Description Logic Franz Baader, Barbara Morawska. RTA 2009: 350-364 [doi]
- Unification in the Description Logic EL is of Type ZeroFranz Baader, Barbara Morawska 0001. UNIF 2008: 25-34 [doi]