de Rijke, M. (2001). Computing with Meaning. In Logic in Action ILLC.
Areces, C. E., Franconni, E., Gore, R., de Rijke, M., & Schlingoff, H. (2000). Editorial. In C. E. Areces, E. Franconni, & R. Gore (Eds.), Methods for modalities 1 (pp. 231-237). (Logic journal of the IGPL; No. 8 : 3).
Areces, C. E., Gennari, R., Heguiabehere, J. M., & de Rijke, M. (2000). Tree-based heuristics in modal theorem proving. In ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence IOS Press.
Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Automatic wrapper generation for web search engines. Lecture Notes in Computer Science.
Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Wrapper generation via grammar induction. Lecture Notes in Computer Science, 1810.
Franceschet, M., Montanari, A., & de Rijke, M. (2000). Model Checking for combined logics. In Workshop Proceedings ICTL 2000
Ohlbach, H.-J., Nonnengart, A., de Rijke, M., & Gabbay, D. M. (2000). Encoding two-valued non-classical logics in classical logic. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Elsevier.
de Rijke, M. (2000). A note on graded modal logic. Studia Logica, 64, 271-283.
de Nivelle, J. M. G. G., & de Rijke, M. (2000). The Boyer-Moore theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 83-84). Kluwer.
de Nivelle, J. M. G. G., & de Rijke, M. (2000). Theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 452-453). Kluwer.
