@TechReport{      RosendahlGallagher,
  Author        = "Rosendahl, Mads and Gallagher, John P.",
  date-added    = "2014-03-15 21:47:07 +0000",
  date-modified = "2014-03-15 21:48:23 +0000",
  Title         = "Extended Set Constraints and Tree Grammar Abstraction of Programs",
  Year          = "2011",
  File          = "Extended Set Constraints and Tree Grammar Abstraction of Programs - Rosendahl, Gallagher (0) (0) - a - a - f.pdf"
}

@TechReport{ RosendahlGallagher, Author = "Rosendahl, Mads and Gallagher, John P.", date-added = "2014-03-15 21:47:07 +0000", date-modified = "2014-03-15 21:48:23 +0000", Title = "Extended Set Constraints and Tree Grammar Abstraction of Programs", Year = "2011", File = "Extended Set Constraints and Tree Grammar Abstraction of Programs - Rosendahl, Gallagher (0) (0) - a - a - f.pdf" }