From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (1993)

by Hans Kamp, Uwe Reyle