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