@TechReport{      144a293052be11dba4bc000ea68e967b,
  Author        = "Rosendahl, Mads",
  date-added    = "2014-03-15 21:42:46 +0000",
  date-modified = "2014-03-15 21:42:46 +0000",
  Institution   = "Roskilde Universitet",
  Publisher     = "Roskilde Universitet",
  Title         = "Demand-Driven Higher-Order Fixpoint Iteration",
  Type          = "WorkingPaper <importModel: WorkingPaperImportModel>",
  Year          = "2005",
  File          = "Demand-Driven Higher-Order Fixpoint Iteration - Rosendahl (0) (0) - a - a - w.pdf"
}

@TechReport{ 144a293052be11dba4bc000ea68e967b, Author = "Rosendahl, Mads", date-added = "2014-03-15 21:42:46 +0000", date-modified = "2014-03-15 21:42:46 +0000", Institution = "Roskilde Universitet", Publisher = "Roskilde Universitet", Title = "Demand-Driven Higher-Order Fixpoint Iteration", Type = "WorkingPaper ", Year = "2005", File = "Demand-Driven Higher-Order Fixpoint Iteration - Rosendahl (0) (0) - a - a - w.pdf" }