Jerzy Tiuryn Equational Axiomatization of Bicoercibility for Polymorphic Types. 166-179 1995 conf/fsttcs/1995 FSTTCS db/conf/fsttcs/fsttcs95.html#Tiuryn95 http://dx.doi.org/10.1007/3-540-60692-0_47