J. Lukassek and A. A. Spalek, “Distinguishing coercion and underspecification in Type Composition Logic”, SuB, vol. 22, no. 2, pp. 71–87, May 2019.