1. Barwise J., Cooper R. (1981) Generalized quantifiers and natural language. Linguistics and Philosophy 4(2): 159–219
2. Belnap N. (1962) Tonk, Plonk and Plink. Analysis 22: 130–134
3. Ben-Avi, G., & Francez, N. (2004). Categorial grammar with ontology-refined types. In Categorial Grammars 2004: An efficient tool for Natural Language Processing, Montpellier, France, June 2004.
4. Ben-Avi, G., & Francez, N. (2005). A proof-theoretic semantics for the syllogistic fragment. In Proceedings of the Amsterdam Colloquium, Amsterdam, The Netherlands, December.
5. Ben-Avi, G., & Francez, N. (2011). A proof-theoretic reconstruction of generalized quantifiers. In preparation.