Lukassek, J., and A. A. 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.