1. Bernardi, Raffaella, Reasoning with Polarity in Categorial Type Logic, Ph.D. thesis, University of Utrecht, 2002.
2. Christodoulopoulos, Christos, Creating a natural logic inference system with combinatory categorial grammar, Master’s thesis, University of Edinburgh, 2008.
3. Dowty, David, The role of negative polarity and concord marking in natural language reasoning, in Proceedings of SALT IV, Cornell University, Ithaca, NY, 1994, pp. 114–144.
4. Fyodorov Yaroslav, Winter Yoad, Francez Nissim: Order-based inference in natural logic. Log. J. IGPL 11(4), 385–417 (2003) Inference in computational semantics: the 2000 Dagstuhl Workshop
5. Icard, Thomas, Exclusion and containment in natural language, 2010. Ms., Stanford University.