Lukassek J, Spalek AA. Distinguishing coercion and underspecification in Type Composition Logic. SuB [Internet]. 2019 May 17 [cited 2024 Apr. 18];22(2):71-87. Available from: https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/71