1. Lecture Notes in Computer Science;T. Arora,1993
2. Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Proc. of IJCAI 2005 (2005)
3. Lecture Notes in Artificial Intelligence;F. Baader,2007
4. Baader, F., Suntisrivaraporn, B.: Debugging snomed ct using axiom pinpointing in the description logic
$\mathcal{EL}^{+}$
. In: KR-MED, vol. 410 (2008)
5. Baget, J.-F., Mugnier, M.-L., Rudolph, S., Thomazo, M.: Walking the complexity lines for generalized guarded existential rules. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 712–717 (2011)