Tanaka, Ribeka, Koji Mineshima, and Daisuke Bekki. “Factivity and Presupposition in Dependent Type Semantics”. Journal of Language Modelling 5, no. 2 (November 3, 2017): 385–420. Accessed March 28, 2024. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/153.