PP-1999-14: Monz, Christof and de Rijke, Maarten (1999) A Tableau Calculus for Pronoun Resolution. [Report]
LP-1998-11: Monz, Christof and de Rijke, Maarten (1998) A Resolution Calculus for Dynamic Semantics. [Report]
LP-1998-10: Monz, Christof and de Rijke, Maarten (1998) A Tableaux Calculus for Ambiguous Quantification. [Report]
DS-2003-04: Monz, Christof (2003) From Document Retrieval to Question Answering. Doctoral thesis, University of Amsterdam.