@incollection{NBE04,
    Author = {Altenkirch, Thorsten and Uustalu, Tarmo},
    BookTitle = {Functional and Logic Programming},
    Editor = {Kameyama, Yukiyoshi and Stuckey, PeterJ.},
    File = {flops04 (0) - a - a - z.pdf},
    ISBN = {978-3-540-21402-1},
    Keywords = {normalization by evaluation},
    Pages = {260-275},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Normalization by Evaluation for },
    URL = {http://dx.doi.org/10.1007/978-3-540-24754-8\_19},
    Volume = {2998},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24754-8\_19},
    date-added = {2013-06-11 12:08:34 +0000},
    date-modified = {2013-06-11 12:08:45 +0000},
    doi = {10.1007/978-3-540-24754-8_19}
}

@incollection{NBE04, Author = {Altenkirch, Thorsten and Uustalu, Tarmo}, BookTitle = {Functional and Logic Programming}, Editor = {Kameyama, Yukiyoshi and Stuckey, PeterJ.}, File = {flops04 (0) - a - a - z.pdf}, ISBN = {978-3-540-21402-1}, Keywords = {normalization by evaluation}, Pages = {260-275}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Normalization by Evaluation for }, URL = {http://dx.doi.org/10.1007/978-3-540-24754-8_19}, Volume = {2998}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24754-8_19}, date-added = {2013-06-11 12:08:34 +0000}, date-modified = {2013-06-11 12:08:45 +0000}, doi = {10.1007/978-3-540-24754-8_19} }