@TechReport{      GodefroidYannakakis,
  Author        = "Godefroid, Patrice and Yannakakis, Mihalis",
  date-added    = "2012-12-18 11:20:07 +0000",
  date-modified = "2012-12-18 11:20:35 +0000",
  Title         = "Analysis of Boolean Programs",
  File          = "Analysis of Boolean Programs - Godefroid, Yannakakis (0) (0) - a - a - q.pdf"
}

@TechReport{ GodefroidYannakakis, Author = "Godefroid, Patrice and Yannakakis, Mihalis", date-added = "2012-12-18 11:20:07 +0000", date-modified = "2012-12-18 11:20:35 +0000", Title = "Analysis of Boolean Programs", File = "Analysis of Boolean Programs - Godefroid, Yannakakis (0) (0) - a - a - q.pdf" }