1. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI 2003, pp. 325–330. Morgan Kaufmann (2003)
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient reasoning in $$\cal{EL}^+$$. In: Parsia, B., Sattler, U., Toman, D. (eds.) Proceedings of the 2006 International Workshop on Description Logics (DL 2006), CEUR Workshop Proceedings, vol. 189. CEUR-WS.org (2006)
3. Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic $${\cal{EL}}$$ useful in practice? J. Logic Lang. Inf. (2007). Special issue on Method for Modality (M4M)
4. Bruttomesso, R., Ghilardi, S., Ranise, S.: Quantifier-free interpolation in combinations of equality interpolating theories. ACM Trans. Comput. Log. 15(1), 5:1–5:34 (2014)
5. Graduate Texts in Mathematics;S Burris,1981