1. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Proceedings of IJCAI 2005, San Francisco, CA, USA, pp. 364–369. Morgan Kaufmann Publishers Inc. (2005a)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. Technical report LTCS-Report LTCS-05-01 (2005b)
3. Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)
4. Bertsimas, D., Tsitsiklis, J.N.: Introduction to Linear Optimization. Athena Scientific, Belmont (1997)
5. Bona, G.D., Cozman, F.G., Finger, M.: Towards classifying propositional probabilistic logics. J. Appl. Logic 12(3), 349–368 (2014)