A tableaux calculus for ambiguous quantification / Christof Monz, Maarten de RijkeA resolution calculus for dynamic semantics / Christof Monz, Maarten de RijkeA tableau calculus for pronoun resolution / Christof Monz, Maarten de RijkeFrom document retrieval to question answering / Christof MonzFrom document retrieval to question answering / Christof Monz