@article{Streicher:1998:CLC:969600.969601,
    Address = {New York, NY, USA},
    Author = {Streicher, Th. and Reus, B.},
    File = {Classical logic, continuation semantics and abstract machines - Streicher, Reus (0) (0) - a - a - f.pdf},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Keywords = {Krivine machine},
    Month = {November},
    Number = {6},
    Pages = {543--572},
    Publisher = {Cambridge University Press},
    Title = {Classical logic, continuation semantics and abstract machines},
    URL = {http://dx.doi.org/10.1017/S0956796898003141},
    Volume = {8},
    Year = {1998},
    acmid = {969601},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796898003141},
    date-added = {2013-04-16 15:01:40 +0000},
    date-modified = {2013-04-16 15:03:30 +0000},
    file-2 = {Classical logic, continuation semantics and abstract machines - Streicher, Reus (0) (0) - a - a - f.ps},
    issue_date = {November 1998},
    numpages = {30},
    doi = {10.1017/S0956796898003141}
}

@article{Streicher:1998:CLC:969600.969601, Address = {New York, NY, USA}, Author = {Streicher, Th. and Reus, B.}, File = {Classical logic, continuation semantics and abstract machines - Streicher, Reus (0) (0) - a - a - f.pdf}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Keywords = {Krivine machine}, Month = {November}, Number = {6}, Pages = {543--572}, Publisher = {Cambridge University Press}, Title = {Classical logic, continuation semantics and abstract machines}, URL = {http://dx.doi.org/10.1017/S0956796898003141}, Volume = {8}, Year = {1998}, acmid = {969601}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796898003141}, date-added = {2013-04-16 15:01:40 +0000}, date-modified = {2013-04-16 15:03:30 +0000}, file-2 = {Classical logic, continuation semantics and abstract machines - Streicher, Reus (0) (0) - a - a - f.ps}, issue_date = {November 1998}, numpages = {30}, doi = {10.1017/S0956796898003141} }