@book{partee_termeulen_wall_90,
  author	= {Partee, Barbara H. and {ter Meulen}, Alice and Wall, Robert E.},
  title		= {{Mathematical Methods in Linguistics}},
  publisher	= {Kluwer Academic Publishers},
  year		= {1990}
}