P. Blackburn, J. Bos, M. Kohlhase, and H. De-nivelle, Inference and computational semantics, Computing Meaning, pp.11-28, 2001.
DOI : 10.1007/978-94-010-0572-2_2
URL : https://hal.archives-ouvertes.fr/inria-00001208

J. Curran, S. Clark, and J. Bos, Linguistically motivated large-scale NLP with C&C and boxer, Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions, ACL '07, 2007.
DOI : 10.3115/1557769.1557781

P. De-groote, Towards a Montagovian Account of Dynamics, 2006.

R. Montague, Formal Philosophy Selected Papers of Richard Montague. Edited and with an Introduction by, 1974.

R. Muskens, Anaphora and the logic of change, JELIA '90, European Workshop on logics in AI, pp.414-430, 1991.
DOI : 10.1007/BFb0018456

R. Muskens, Meaning and Partiality. Studies in Logic, Language and Information, 1996.

R. A. Muskens, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996.
DOI : 10.1007/BF00635836