@Article{         AehligHN-JFP12,
  Author        = "Aehlig, Klaus and Haftmann, Florian and Nipkow, Tobias",

  date-added    = "2013-06-11 12:10:12 +0000",
  date-modified = "2017-05-03 20:03:36 +0000",
  Journal       = "Journal of Functional Programming",
  Keywords      = "normalization by evaluation and readme",
  Number        = "1",
  Pages         = "9-30",
  Title         = "A Compiled Implementation of Normalization by Evaluation",
  doi = {https://doi.org/10.1017/S0956796812000019},
  Volume        = "22",
  Year          = "2012",
  File          = "A Compiled Implementation of Normalization by Evaluation - Aehlig, Haftmann, Nipkow (0) (0) - a - a - x.pdf"
}

@Article{ AehligHN-JFP12, Author = "Aehlig, Klaus and Haftmann, Florian and Nipkow, Tobias",

  date-added    = "2013-06-11 12:10:12 +0000",
  date-modified = "2017-05-03 20:03:36 +0000",
  Journal       = "Journal of Functional Programming",
  Keywords      = "normalization by evaluation and readme",
  Number        = "1",
  Pages         = "9-30",
  Title         = "A Compiled Implementation of Normalization by Evaluation",
  doi = {https://doi.org/10.1017/S0956796812000019},
  Volume        = "22",
  Year          = "2012",
  File          = "A Compiled Implementation of Normalization by Evaluation - Aehlig, Haftmann, Nipkow (0) (0) - a - a - x.pdf"
}</bib>