Giuseppe Castagna Benjamin C. Pierce Decidable Bounded Quantification. 151-162 1994 POPL db/conf/popl/popl94.html#CastagnaP94