From Discourse to Logic: An Introduction to Modeltheoretic Semantics of Natural Language (1993)

by Hans Kamp, Uwe Reyle