Jerzy Tiuryn A Sequent Calculus for Subtyping Polymorphic Types. 135-155 1996 conf/mfcs/1996 MFCS db/conf/mfcs/mfcs96.html#Tiuryn96 http://dx.doi.org/10.1007/3-540-61550-4_144