WINTER, Y. Karttunen logic for presupposition projection. Proceedings of Sinn und Bedeutung, v. 25, p. 873-890, 17 Sep. 2021.