1. E. Giunchiglia, A. Tacchella, ✻SAT: a System for the Development of Modal Decision Procedures, in: Automated Deduction—CADE-17, Springer, LNAI 1831, 2000.
2. V. Haarslev, R. Möller, RACE System Description, in: Proc. of the International Workshop on Description Logics (DL’ 99), Linköping, pp. 130–132, 1999
3. Ph.D. thesis;I. Horrocks,1997
4. J. Happe, A Subsumption-Aided Caching Technique, to appear.
5. Tech. Report;F. Massacci,1997