@TechReport{      FeltyMiller:1990,
  Author        = "Felty, Amy and Miller, Dale",
  date-added    = "2019-08-11 10:20:09 +0200",
  date-modified = "2019-08-11 10:20:34 +0200",
  Title         = "Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language",
  Year          = "1990",
  File          = "Encoding A Dependent-Type lambda-Calculus In A Logic Programming Language (0) - a - a - h.pdf"
}

@TechReport{ FeltyMiller:1990, Author = "Felty, Amy and Miller, Dale", date-added = "2019-08-11 10:20:09 +0200", date-modified = "2019-08-11 10:20:34 +0200", Title = "Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language", Year = "1990", File = "Encoding A Dependent-Type lambda-Calculus In A Logic Programming Language (0) - a - a - h.pdf" }