@article{Lippi:2007:GKM:1325146.1325156,
    Address = {Hingham, MA, USA},
    Author = {Lippi, Sylvain},
    File = {The graphical Krivine machine - Lippi (0) (0) - a - a - d.pdf},
    ISSN = {1388-3690},
    Journal = {Higher Order Symbol. Comput.},
    Keywords = {Krivine machine},
    Month = {September},
    Number = {3},
    Pages = {295--318},
    Publisher = {Kluwer Academic Publishers},
    Title = {The graphical Krivine machine},
    URL = {http://dx.doi.org/10.1007/s10990-007-9011-3},
    Volume = {20},
    Year = {2007},
    acmid = {1325156},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-007-9011-3},
    date-added = {2013-07-09 14:19:44 +0000},
    date-modified = {2013-07-09 14:20:07 +0000},
    issue_date = {September 2007},
    numpages = {24},
    doi = {10.1007/s10990-007-9011-3}
}

@article{Lippi:2007:GKM:1325146.1325156, Address = {Hingham, MA, USA}, Author = {Lippi, Sylvain}, File = {The graphical Krivine machine - Lippi (0) (0) - a - a - d.pdf}, ISSN = {1388-3690}, Journal = {Higher Order Symbol. Comput.}, Keywords = {Krivine machine}, Month = {September}, Number = {3}, Pages = {295--318}, Publisher = {Kluwer Academic Publishers}, Title = {The graphical Krivine machine}, URL = {http://dx.doi.org/10.1007/s10990-007-9011-3}, Volume = {20}, Year = {2007}, acmid = {1325156}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-007-9011-3}, date-added = {2013-07-09 14:19:44 +0000}, date-modified = {2013-07-09 14:20:07 +0000}, issue_date = {September 2007}, numpages = {24}, doi = {10.1007/s10990-007-9011-3} }