Winter, Yoad. “Karttunen Logic for Presupposition Projection”. Proceedings of Sinn Und Bedeutung, vol. 25, Sept. 2021, pp. 873-90, doi:10.18148/sub/2021.v25i0.972.