Krahmer, E. 1995. Presuppositional Discourse Representation Theory. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 499–518.