Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. - Alex P. Jones; Zhaohui Luo; Sergei Soloviev 001 (TYPES, 1996)