@article{OHearn:1995:KLR:208753.208764,
    Address = {Duluth, MN, USA},
    Author = {O'Hearn, Peter W. and Riecke, Jon G.},
    File = {1-s2.0-S0890540185711030-main (0) - a - a - i.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Month = {July},
    Number = {1},
    Pages = {107--116},
    Publisher = {Academic Press, Inc.},
    Title = {Kripke Logical Relations and PCF},
    URL = {http://dx.doi.org/10.1006/inco.1995.1103},
    Volume = {120},
    Year = {1995},
    acmid = {208764},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1103},
    date-added = {2018-06-30 08:11:32 +0000},
    date-modified = {2018-06-30 08:11:32 +0000},
    file-2 = {Kripke Logical Relations and PCF (0) - a - a - i.pdf},
    issue_date = {July 1995},
    numpages = {10},
    doi = {10.1006/inco.1995.1103}
}

@article{OHearn:1995:KLR:208753.208764, Address = {Duluth, MN, USA}, Author = {O'Hearn, Peter W. and Riecke, Jon G.}, File = {1-s2.0-S0890540185711030-main (0) - a - a - i.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Month = {July}, Number = {1}, Pages = {107--116}, Publisher = {Academic Press, Inc.}, Title = {Kripke Logical Relations and PCF}, URL = {http://dx.doi.org/10.1006/inco.1995.1103}, Volume = {120}, Year = {1995}, acmid = {208764}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1103}, date-added = {2018-06-30 08:11:32 +0000}, date-modified = {2018-06-30 08:11:32 +0000}, file-2 = {Kripke Logical Relations and PCF (0) - a - a - i.pdf}, issue_date = {July 1995}, numpages = {10}, doi = {10.1006/inco.1995.1103} }