Y. Winter, “Karttunen logic for presupposition projection”, SuB, vol. 25, pp. 873–890, Sep. 2021.