@InProceedings{   Hanus:2012aa,
  Author        = "Hanus, Michael",
  BookTitle     = "Proc. of ICLP'12",
  date-added    = "2017-06-26 17:37:51 +0000",
  date-modified = "2017-06-26 17:38:08 +0000",
  Title         = "Improving Lazy Non-Deterministic Computations by Demand Analysis",
  Year          = "2012",
  File          = "14 (0) - a - a - u.pdf"
}

@InProceedings{ Hanus:2012aa, Author = "Hanus, Michael", BookTitle = "Proc. of ICLP'12", date-added = "2017-06-26 17:37:51 +0000", date-modified = "2017-06-26 17:38:08 +0000", Title = "Improving Lazy Non-Deterministic Computations by Demand Analysis", Year = "2012", File = "14 (0) - a - a - u.pdf" }