Lukassek, J. and Spalek, A.A. 2019. Distinguishing coercion and underspecification in Type Composition Logic. Proceedings of Sinn und Bedeutung. 22, 2 (May 2019), 71–87.