Monz, C., & de Rijke, M. (1998). Labeled resolution for discourse semantics. In Proceedings of labeled deduction '98
Monz, C., & de Rijke, M. (1998). A resolution calculus for dynamic reasoning. In Logics in artificial intelligence Springer.
Monz, C., & de Rijke, M. (1998). A tableaux calculus for ambiguous quantification. In Proceedings tableaux '98 Springer.
de Rijke, M. (1998). Modal logics and Description logics. In Proceedings of the 1999 International Workshop on Description Logics (DL'98)
Alechina, N. A., & de Rijke, M. (1998). Describing and Querying semistructured data: some expressiveness results. In Advances in databases (-; No. -). Springer.
van der Hoek, W., & de Rijke, M. (1997). Sahlqvist's theorem. In M. Hazewinkel (Ed.), Encyclopaedia of Mathematics Supplement Volume I (pp. 445). Kluwer Academic Publishers.
Blackburn, P., de Rijke, M., & Venema, Y. (1997). Relational methods in logic, language and information. In W. Kahl, C. Brink, & G. Schmidt (Eds.), Relational Methods in Computer Science (pp. 211-225). Springer-Verlag.
Blackburn, P., Jaspars, J., & de Rijke, M. (1997). Reasoning about changing information. South African Computer Journal, 19, 2-26.
Blackburn, P., & de Rijke, M. (1997). Specifying Syntactic Structures. Studies in logic, Language and Information. CSLI Publications.
Blackburn, P., & de Rijke, M. (1997). Why combine logics? Studia Logica, 59, 5-27.
