Alex P. Jones, Zhaohui Luo, Sergei Soloviev: Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES 1996: 173-195