Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Baader, F.: On the complexity of Boolean unification. Inf. Process. Lett. 67, 215–220 (1998)
2. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in
$$\cal{EL}$$
towards general TBoxes. In: Brewka, G. et al. (eds.) Principles of Knowledge Representation and Reasoning, pp. 568–572. AAAI Press (2012)
3. Baader, F., Ghilardi, S.: Unification in modal and description logics. Log. J. IGPL 19, 705–730 (2011)
4. Lecture Notes in Computer Science;F Baader,2009
5. Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31, 277–305 (2001)