Alshawi, Hiyan, ed., (1992) The Core Language Engine, MIT Press
Alshawi, Hiyan and Jan van Eijck. 1989. Logical Forms in the core language engine. In Proceedings of the 27th annual meeting on Association for Computational Linguistics. Association for Computational Linguistics, Morristown, NJ, USA, 25-32. DOI=10.3115/981623.981627 http://dx.doi.org/10.3115/981623.981627
Barwise, Jon and Robin Cooper (1981) Generalized quantifiers and natural language, Linguistics and Philosophy, Vol. 4, pp. 159--219
Blackburn, Patrick and Johan Bos (2005) Representation and Inference for Natural Language: a First Course in Computational Semantics, CSLI Publications, Stanford,http://www.blackburnbos.org
Bos, Johan (1996) Predicate logic unplugged, in Proceedings of the Tenth Amsterdam Colloquium, University of Amsterdam, pp. 133--143
Clark, Alexander, Chris Fox and Shalom Lappin (2010) The Handbook of Computational Linguistics and Natural Language Processing, Wiley-Blackwell, Ch. 15 (Chris Fox), Ch. 16 (Jonathan Ginzburg and Raquel Fernández)
Cooper, Robin (1983) Quantification and Syntactic Theory, Reidel
Cooper, Robin (2010) Frames in Formal Semantics, in Hrafn Loftsson, Eiríkur Rögnvaldsson and Sigrún Helgadóttir (eds) IceTAL 2010, Springer Verlag
Cooper, Robin, Dick Crouch, Jan van Eijck, Chris Fox, Josef van Genabith, Jan Jaspars, Hans Kamp, David Milward, Manfred Pinkal, Massimo Poesio, Stephen Pulman (1996) Using the Framework, FraCaS deliverable D16, ftp://ftp.cogsci.ed.ac.uk/pub/FRACAS/del16.ps.gz
Cooper, Robin and Ruth Kempson, eds. (2008) Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution, College Publications
Cooper, Robin and Staffan Larsson (2009) Compositional and ontological semantics in learning from corrective feedback and explicit definition in Jens Edlund, Joakim Gustafson, Anna Hjalmarsson and Gabriel Skantze (eds) Proceedings of DiaHolmia: 2009 Workshop on the Semantics and Pragmatics of Dialogue, Department of Speech, Music and Hearing, KTH
Cooper, Robin and Aarne Ranta (2008) Natural Languages as Collections of Resources, in Cooper and Kempson (2008)
Copestake, Ann, Dan Flickinger, Carl Pollard and Ivan A. Sag (2005) Minimal Recursion Semantics: An Introduction, Research on Language and Computation, Vol. 3, No. 4, pp. 281--332
Crouch, Richard, Lauri Karttunen and Annie Zaenen (2006) Circumscribing is not excluding: A reply to Manning. http://www2.parc.com/istl/members/karttune/publications/reply-to-manning.pdf
van Eijck, Jan and Christina Unger (2010) Computational Semantics with Functional Programming, Cambridge University Press.
Fernando, Tim (2008) Finite-state descriptions for temporal semantics, in Harry Bunt and Reinhart Muskens (eds) Computing Meaning, Vol. 3, Springer Verlag
Fillmore, Charles (1982) Frame Semantics, Semantics in the Morning Calm, Hanshin Publishing Co.
Grice, H.P. (1975) Logic and Conversation, in Peter Cole and Jerry Morgan, eds, Syntax and Semantics, Vol. 3: Speech Acts, Academic Press, pp. 41--58
Hobbs, Jerry R. (1983) An improper treatment of quantification in ordinary English, Proceedings of the 21st annual meeting on Association for Computational Linguistics,http://acl.ldc.upenn.edu/P/P83/P83-1009.pdf
Kamp, Hans and Uwe Reyle (1993) From Discourse to Logic, Kluwer.
Larsson, Staffan (2002) Issue-based dialogue management, Ph.D. thesis, University of Gothenburg.
Larsson, Staffan and David Traum (2001) Information state and dialogue management in the TRINDI dialogue move engine toolkit, Natural Language Engineering, Vol. 6, pp. 323--340
MacCartney, Bill (web page) The FraCaS Textual Inference Problem Set, http://www-nlp.stanford.edu/~wcmac/downloads/fracas.xml
Manning, Chris (2006) Local Textual Inference: It's hard to circumscribe, but you know it when you see it - and NLP needs it.http://nlp.stanford.edu/%7Emanning/papers/LocalTextualInference.pdf
Montague, Richard (1973) The Proper Treatment of Quantification in Ordinary English, in Jaakko Hintikka, Julius Moravcsik and Patrick Suppes (eds) Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, Reidel
Pustejovsky, James (1995) The Generative Lexicon, MIT Press
Reichenbach, Hans (1947) Elements of Symbolic Logic, University of California Press
Zaenen, Annie, Lauri Karttunen and Richard Crouch (2005) Local Textual Inference: can it be defined or circumscribed? ACL 2005 Workshop on Empirical Modelling of Semantic Equivalence and Entailment. June 30, 2005. Ann Arbor, Michigan. http://www2.parc.com/istl/members/zaenen/publications/acl2005workshop.pdf