The following publications are possibly variants of this publication:
- Unification in the Description Logic Franz Baader, Barbara Morawska. RTA 2009: 350-364 [doi]
- Unification in the Description Logic ELFranz Baader, Barbara Morawska. dlog 2009: [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]
- Unification in a Description Logic with Transitive Closure of RolesFranz Baader, Ralf Küsters. dlog 2001: [doi]
- Unification in the Description Logic EL without the Top ConceptFranz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska. dlog 2011: [doi]
- Unification in a Description Logic with Transitive Closure of RolesFranz Baader, Ralf Küsters. lpar 2001: 217-232 [doi]