@incollection{kurata:takahashi:1995,
    Author = {Kurata, Toshihiko and Takahashi, Masako},
    BookTitle = {Typed Lambda Calculi and Applications},
    Editor = {Dezani-Ciancaglini, Mariangiola and Plotkin, Gordon},
    File = {Decidable properties of intersection type systems - Kurata, Takahashi (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-59048-4},
    Keywords = {intersection types},
    Pages = {297-311},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidable properties of intersection type systems},
    URL = {http://dx.doi.org/10.1007/BFb0014060},
    Volume = {902},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0014060},
    date-added = {2013-06-13 12:02:41 +0000},
    date-modified = {2013-06-13 12:02:50 +0000},
    doi = {10.1007/BFb0014060}
}

@incollection{kurata:takahashi:1995, Author = {Kurata, Toshihiko and Takahashi, Masako}, BookTitle = {Typed Lambda Calculi and Applications}, Editor = {Dezani-Ciancaglini, Mariangiola and Plotkin, Gordon}, File = {Decidable properties of intersection type systems - Kurata, Takahashi (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-59048-4}, Keywords = {intersection types}, Pages = {297-311}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Decidable properties of intersection type systems}, URL = {http://dx.doi.org/10.1007/BFb0014060}, Volume = {902}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0014060}, date-added = {2013-06-13 12:02:41 +0000}, date-modified = {2013-06-13 12:02:50 +0000}, doi = {10.1007/BFb0014060} }