@article{honsell:sannella:2002,
    Author = {Honsell, Furio and Sannella, Donald},
    File = {Prelogical Relations - Honsell, Sannella (0) (0) - a - a - l.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {logical relations and lambda calculus and readme},
    Number = {1},
    Pages = {23 - 43},
    Title = {Prelogical Relations},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540102931159},
    Volume = {178},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540102931159},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.2002.3115},
    date-added = {2013-02-18 15:19:30 +0000},
    date-modified = {2013-02-20 10:05:42 +0000},
    file-2 = {Prelogical Relations - Honsell, Sannella (1) (0) - a - a - l.pdf},
    file-3 = {Prelogical Relations - Honsell, Sannella (2) (0) - a - a - l.pdf},
    file-4 = {Prelogical Relations - Honsell, Sannella (3) (0) - a - a - l.pdf},
    doi = {10.1006/inco.2002.3115}
}

@article{honsell:sannella:2002, Author = {Honsell, Furio and Sannella, Donald}, File = {Prelogical Relations - Honsell, Sannella (0) (0) - a - a - l.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {logical relations and lambda calculus and readme}, Number = {1}, Pages = {23 - 43}, Title = {Prelogical Relations}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540102931159}, Volume = {178}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540102931159}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.2002.3115}, date-added = {2013-02-18 15:19:30 +0000}, date-modified = {2013-02-20 10:05:42 +0000}, file-2 = {Prelogical Relations - Honsell, Sannella (1) (0) - a - a - l.pdf}, file-3 = {Prelogical Relations - Honsell, Sannella (2) (0) - a - a - l.pdf}, file-4 = {Prelogical Relations - Honsell, Sannella (3) (0) - a - a - l.pdf}, doi = {10.1006/inco.2002.3115} }