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).
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.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. (Cambridge Tracts in Computer Science; No. 53). Cambridge University Press.
Monz, C., & de Rijke, M. (2001). Light-weight inference for computational semantics. In P. Blackburn, & M. Kohlhase (Eds.), Proceedings of the 3rd Workshop on Inference in Computational Semantics (ICoS-3) (pp. 59-72)
Monz, C., & de Rijke, M. (2001). The university of amsterdam at clef 2001. In Working Notes for the Cross Language Evaluation Forum Workshop (CLEF 2001) (pp. 165-169)
van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., & Venema, Y. (2001). Logic in Action. ILLC, University of Amsterdam.
de Rijke, M., & Heguiabehere, J. M. (2001). The random modal qbf test set. In Proceedings IJCAR Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics (pp. 58-67)