@TechReport{      Charlier:1992:UTF:864683,
  Author        = "Charlier, Baudouin L and Van Hentenryck, Pascal",
  Address       = "Providence, RI, USA",
  date-added    = "2014-03-20 07:16:48 +0000",
  date-modified = "2014-03-20 07:16:48 +0000",
  Publisher     = "Brown University",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-92-25",
  Title         = "A Universal Top-Down Fixpoint Algorithm",
  Year          = "1992",
  File          = "A Universal Top-Down Fixpoint Algorithm - Charlier, Van Hentenryck (1) (0) - a - a - r.pdf"
}

@TechReport{ Charlier:1992:UTF:864683, Author = "Charlier, Baudouin L and Van Hentenryck, Pascal", Address = "Providence, RI, USA", date-added = "2014-03-20 07:16:48 +0000", date-modified = "2014-03-20 07:16:48 +0000", Publisher = "Brown University", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Abrowncs\%3ABrownCS\%2F\%2FCS-92-25", Title = "A Universal Top-Down Fixpoint Algorithm", Year = "1992", File = "A Universal Top-Down Fixpoint Algorithm - Charlier, Van Hentenryck (1) (0) - a - a - r.pdf" }