BibTeX

@book{kampreyle93,
  title = {From Discourse to Logic. Introduction to Modeltheoretic Semantics
	of Natural Language, Formal Logic and Discourse Representation Theory},
  publisher = {Kluwer},
  year = {1993},
  author = {Hans Kamp and Uwe Reyle},
  address = {Dordrecht}
}