LUKASSEK, J.; SPALEK, A. A. Distinguishing coercion and underspecification in Type Composition Logic. Proceedings of Sinn und Bedeutung, v. 22, n. 2, p. 71-87, 17 May 2019.