Lukassek, J.; Spalek, A. A. Distinguishing Coercion and Underspecification in Type Composition Logic. SuB 2019, 22, 71-87.