@book{Dalrymple2001,
  author =        {Mary Dalrymple},
  title =         {Lexical Functional Grammar},
  series =        {Syntax and Semantics},
  volume =        {34},
  publisher =     {Academic Press},
  address =       {New York},
  year =          {2001}
}


@InCollection{Dalrymple:1999:RRB,
  author = 	 {Mary Dalrymple and V. Gupta and John Lamping and V. Saraswat},
  title = 	 {Relating resource-based 
semantics to categorial semantics},
  booktitle = 	 {Semantics and syntax in {Lexical Functional Grammar}: the resource 
logic approach},
  pages = 	 { 261--280},
  publisher = {MIT Press},
  year = 	 1999,
  editor = 	 {Mary Dalrymple},
  address = 	 {Cambridge, MA}}




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

@book{KampReyle,
  author =        {Hans Kamp and Uwe Reyle},
  title =         {From Discourse to the Lexicon: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory},
  publisher =     {Kluwer Academic Publishers},
  year =          {1993}
}

@inproceedings{Multidisciplinary,
  author =        {Steven Bird and Ewan Klein and Edward Loper and Jason Baldridge},
  title =         {Multidisciplinary instruction with the {Natural Language Toolkit}},
  booktitle =     {Proceedings of the Third Workshop on Issues in Teaching Computational Linguistics},
  address =       {Columbus, Ohio, USA},
  month =         {June},
  year =          {2008}
}

@Misc{McCune,
  author = {William McCune},
  title = {Prover9: Automated theorem prover for first-order and equational logic},
  year = 2008,
  note = {\url{http://www.cs.unm.edu/~mccune/mace4/manual-examples.html}}
}

@inproceedings{BosRTE,
  author =        {Johan Bos and Katja Markert},
  title =         {Recognising textual entailment with logical inference},
  booktitle =     {Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing},
  address =       {Vancouver, British Columbia, Canada},
  year =          {2005}
}

@InProceedings{Klein06altw,
  author = 	 {Ewan Klein},
  title = 	 {Computational semantics in the {Natural Language Toolkit}},
  booktitle = 	 {Proceedings of the Australasian Language Technology Workshop},
  pages = 	 {26--33},
  year = 	 2006
}
