@book{Barwise89,
  author	= {Barwise, Jon},
  year		= {1989},
  title		= {The Situation in Logic},
  publisher	= {CSLI Lecture Notes},
  address	= {Stanford, CA}
}