1. Lecture Notes in Computer Science;A. Aiken,1994
2. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence IJCAI-05 (2005)
3. Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
4. Bachmair, L., Ganzinger, H., Waldmann, U.: Set constraints are the monadic class. In: Logic in Computer Science, pp. 75–83 (1993)
5. Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing. Springer, Heidelberg (2001)