The following publications are possibly variants of this publication:
- Unification in the Description Logic ELFranz Baader, Barbara Morawska. dlog 2009: [doi]
- Unification in the Description Logic EL without the Top ConceptFranz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. dlog 2011: [doi]
- 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]
- Hybrid Unification in the Description LogicFranz Baader, Oliver Fernandez Gil, Barbara Morawska. frocos 2013: 295-310 [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]
- 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.