@book{BlackburnBos2005CSLI,
   title     = {Representation and Inference for Natural Language. A First Course in Computational Semantics},
   author    = {Blackburn, Patrick and Bos, Johan},
   publisher = {CSLI Publications},
   year      = {2005}
}