@TechReport{      Apt:1988:ECL:900496,
  Author        = "Apt, Krzysztof R.",
  Address       = "Austin, TX, USA",
  date-added    = "2014-03-29 17:30:08 +0000",
  date-modified = "2014-03-29 17:30:08 +0000",
  Publisher     = "University of Texas at Austin",
  source        = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Autexas\_cs\%3AUTEXAS\_CS\%2F\%2FCS-TR-88-33",
  Title         = "Efficient Computing of Least Fixpoints",
  Year          = "1988",
  File          = "Efficient Computing of Least Fixpoints - Apt (0) (0) - a - a - g.pdf"
}

@TechReport{ Apt:1988:ECL:900496, Author = "Apt, Krzysztof R.", Address = "Austin, TX, USA", date-added = "2014-03-29 17:30:08 +0000", date-modified = "2014-03-29 17:30:08 +0000", Publisher = "University of Texas at Austin", source = "http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai\%3Ancstrlh\%3Autexas_cs\%3AUTEXAS_CS\%2F\%2FCS-TR-88-33", Title = "Efficient Computing of Least Fixpoints", Year = "1988", File = "Efficient Computing of Least Fixpoints - Apt (0) (0) - a - a - g.pdf" }