From Discourse to Logic by Uwe Reyle & Hans Kiamp