1. Chellas, B.F.: Modal Logic - an Introduction. Cambridge University Press, Cambridge (1980)
2. Lecture Notes in Computer Science;F. Giunchiglia,1996
3. LNAI;H. Zhang,1997
4. Giunchiglia, E., Giunchiglia, F., Tacchella, A.: SAT-Based Decision Procedures for Classical Modal Logics. Journal of Automated Reasoning (2000) (to appear)
5. Tacchella, A.: *sat system description. In: Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P. (eds.) Collected Papers from the International Description Logics Workshop (DL 1999). CEUR (July 1999)