@inproceedings{PulmanFormal,
  title = "Formal and Computational Semantics: a Case Study",
  author = "Stephen Pulman",
  year = "2007",
  booktitle = "{Proceedings of the Seventh International Workshop on Computational Semantics: IWCS-7, Tilburg, The Netherlands, 2007}",
  editor = "Jeroen Geertzen and Elias Thijsse and Harry Bunt and Amanda Schiffrin",
  isbn = "90-74029-31-0",
  pages = "181--196",
}