Kohlhase, M.; Kuschert, S.; Pinkal, M. A Type-Theoretic Semantics for Lambda-DRT. Proceedings of the AC 1995, 479-498.