1. Lecture Notes in Artificial Intelligence;P. Baumgartner,2006
2. Lecture Notes in Computer Science;U. Hustadt,2000
3. Hustadt, U., Schmidt, R.A., Georgieva, L.: A survey of decidable first-order fragments and description logics. J. Relational Meth. in Computer Sci. 1, 251–276 (2004)
4. Hustadt, U., Schmidt, R.A., Weidenbach, C., MSPASS,: Subsumption testing with SPASS. In: Proc. DL 1999, pp. 136–137. Linköping University (1999)
5. Nonnengart, A., Weidenbach, C.: Computing small clause normal forms. In: Handbook of Automated Reasoning, pp. 335–367. Elsevier, Amsterdam (2001)