Tanaka, R., K. Mineshima, and D. Bekki. “Factivity and Presupposition in Dependent Type Semantics”. Journal of Language Modelling, vol. 5, no. 2, Nov. 2017, pp. 385–420, doi:10.15398/jlm.v5i2.153.