Toshihiko Kurata Masako Takahashi Decidable Properties of Intersection Type Systems. 297-311 1995 conf/tlca/1995 TLCA db/conf/tlca/tlca95.html#KurataT95