P. Blackburn, J. Bos (2005): Representation and Inference for Natural Language. A First Course in Computational Semantics. Chapter 1. CSLI Publications. ISBN: 1-57586-496-7. [PDF] [BibTeX]
J. Bos (2011): A Survey of Computational Semantics: Representation, Inference and Knowledge in Wide-Coverage Text Understanding. Language and Linguistics Compass 5(6): 336–366. [PDF] [BibTeX]
P. Blackburn, J. Bos (2003): Computational Semantics. Theoria 18(1): 27–45. [PDF] [BibTeX]
B. Geurts and D. Beaver (2007/2011): Discourse Representation Theory. [LINK]
Mark Steedman and Jason Baldridge (2005) Combinatory Categorial Grammar to appear in: R. Borsley and K. Borjars (eds.) Non-Transformational Syntax, Blackwell [PDF]
J. Bos (2009): Towards a Large-Scale Formal Semantic Lexicon for Text Processing. In: C. Chiarcos, R. Eckart de Castilho, M. Stede (eds): From Form to Meaning: Processing Texts Automatically. Proceedings of the Biennal GSCL Conference 2009, pp 3–14. [PDF] [BibTeX]
R. van der Sandt (1992): Presupposition Projection as Anaphora Resolution. Journal of Semantics 9 (40): 333–377. [PDF]
J. Bos (2003): Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection. Computational Linguistics 29(2): 179–210. [PDF] [BibTeX]
J. Bos (2009): Applying automated deduction to natural language understanding. Journal of Applied Logic 7(1): 100–112. [PDF] [BibTeX]
V. Basile, J. Bos, K. Evang, N. Venhuizen (2012): Developing a large semantically annotated corpus. Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC 2012), pp 3196–3200, Istanbul, Turkey. [PDF] [BibTeX]