@article{Aehlig:2004:OAU:1014327.1014331,
    Address = {New York, NY, USA},
    Author = {Aehlig, Klaus and Joachimski, Felix},
    File = {Operational aspects of untyped Normalisation by Evaluation - Aehlig, Joachimski (0) (0) - a - a - e.pdf},
    ISSN = {0960-1295},
    Journal = {Mathematical. Structures in Comp. Sci.},
    Keywords = {normalization by evaluation},
    Month = {August},
    Number = {4},
    Pages = {587--611},
    Publisher = {Cambridge University Press},
    Title = {Operational aspects of untyped Normalisation by Evaluation},
    URL = {http://dx.doi.org/10.1017/S096012950400427X},
    Volume = {14},
    Year = {2004},
    acmid = {1014331},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S096012950400427X},
    date-added = {2013-06-13 14:27:00 +0000},
    date-modified = {2013-06-13 14:27:37 +0000},
    issue_date = {August 2004},
    numpages = {25},
    doi = {10.1017/S096012950400427X}
}

@article{Aehlig:2004:OAU:1014327.1014331, Address = {New York, NY, USA}, Author = {Aehlig, Klaus and Joachimski, Felix}, File = {Operational aspects of untyped Normalisation by Evaluation - Aehlig, Joachimski (0) (0) - a - a - e.pdf}, ISSN = {0960-1295}, Journal = {Mathematical. Structures in Comp. Sci.}, Keywords = {normalization by evaluation}, Month = {August}, Number = {4}, Pages = {587--611}, Publisher = {Cambridge University Press}, Title = {Operational aspects of untyped Normalisation by Evaluation}, URL = {http://dx.doi.org/10.1017/S096012950400427X}, Volume = {14}, Year = {2004}, acmid = {1014331}, bdsk-url-1 = {http://dx.doi.org/10.1017/S096012950400427X}, date-added = {2013-06-13 14:27:00 +0000}, date-modified = {2013-06-13 14:27:37 +0000}, issue_date = {August 2004}, numpages = {25}, doi = {10.1017/S096012950400427X} }