Lukassek, Julia, and Alexandra Anna Spalek. “Distinguishing Coercion and Underspecification in Type Composition Logic”. Proceedings of Sinn Und Bedeutung, vol. 22, no. 2, May 2019, pp. 71-87, https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/71.