Krahmer, E. Presuppositional Discourse Representation Theory. Proceedings of the AC 1995, 499-518.