1. Unification in a description logic with transitive closure of roles;Baader;LPAR,2001
2. Unification of concept terms in description logics;Baader;J. Symbolic Comput.,2001
3. Unification Theory;Baader,2001
4. Unification in the description logic EL;Baader;Log. Methods Comput. Sci.,2010
5. Term Rewriting and All That;Baader,1998