@article{Altenkirch:2009:BN:1561017.1561021,
    Address = {New York, NY, USA},
    Author = {Altenkirch, Thorsten and Chapman, James},
    File = {jtait07 (0) - a - a - r.pdf},
    ISSN = {0956-7968},
    Journal = {J. Funct. Program.},
    Month = {July},
    Number = {3-4},
    Pages = {311--333},
    Publisher = {Cambridge University Press},
    Title = {Big-step Normalisation},
    URL = {http://dx.doi.org/10.1017/S0956796809007278},
    Volume = {19},
    Year = {2009},
    acmid = {1561021},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796809007278},
    date-added = {2017-05-03 19:32:34 +0000},
    date-modified = {2017-05-03 19:32:34 +0000},
    issue_date = {July 2009},
    numpages = {23},
    doi = {10.1017/S0956796809007278}
}

@article{Altenkirch:2009:BN:1561017.1561021, Address = {New York, NY, USA}, Author = {Altenkirch, Thorsten and Chapman, James}, File = {jtait07 (0) - a - a - r.pdf}, ISSN = {0956-7968}, Journal = {J. Funct. Program.}, Month = {July}, Number = {3-4}, Pages = {311--333}, Publisher = {Cambridge University Press}, Title = {Big-step Normalisation}, URL = {http://dx.doi.org/10.1017/S0956796809007278}, Volume = {19}, Year = {2009}, acmid = {1561021}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0956796809007278}, date-added = {2017-05-03 19:32:34 +0000}, date-modified = {2017-05-03 19:32:34 +0000}, issue_date = {July 2009}, numpages = {23}, doi = {10.1017/S0956796809007278} }