de Rijke, M., & Sturm, H. (2001). Global definability in basic modal logic. In H. Wansing (Ed.), Essays on Non-classical Logic (pp. 111-135). World Scientific Publishers.
Monz, C., & de Rijke, M. (2001). Deductions with meaning. In M. Moortgat (Ed.), Logical Aspects in Computational Linguistics (pp. 1-10). (LNAI; No. 2014). Springer.
Areces, C. E., Gennari, R., Heguiabehere, J. M., & de Rijke, M. (2001). Tree-based heuristics in modal theorem proving (abstract). In Proceedings of BNAIC 2001 (pp. 31-32).
Stol, M. C., & de Rijke, M. (2001). Adaptive model generation for modal logic. In Proceedings of BNAIC 2001 (pp. 241-248).
Ó Nualláin, B. S., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT research behaviour. In Proceedings of BNAIC 2001 (pp. 423-424).
Alechina, N. A., Demri, S., & de Rijke, M. (2001). Path constraints from a modal logic point of view. In Proceedings KRDB 2001
de Rijke, M., Heguiabehere, J. M., & Infante Lopez, G. G. (2001). Structured problems for modal satisfiability testing. In C. Areces, & M. de Rijke (Eds.), Proceedings of M4M Workshop, 2001
Zakharyaschev, M., Segerberg, K., de Rijke, M., & Wansing, H. (2001). The Roots of Modality. In M. Rijke, de Zakharyaschev, & K. Wansing Segerberg (Eds.), Advances in Modal Logic, Vol. 2 CSLI Publications.
de Rijke, M. (2001). review of Handbook of Tableau Methods [Review of: M. D'Agostino, D.M. Gabbay. Handbook of Tableau Methods]. Journal of Logic, Language and Information, 10, 518-523.
de Rijke, M., Ó Nualláin, B. S., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In H. Kautz, & B. Selman (Eds.), Electronic Notes in Discrete Mathematics, volume 9 Elsevier Science Publishers.
