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).
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. (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.
