@jurthesis{       Genet,
  Author        = "Genet, Thomas",
  date-added    = "2014-05-02 06:35:26 +0000",
  date-modified = "2014-05-02 06:36:12 +0000",
  Title         = "Reachability analysis of rewriting for software verification",
  Year          = "2009",
  File          = "Reachability analysis of rewriting for software veriﬁcation - Genet (0) (0) - a - a - c.pdf"
}

@jurthesis{ Genet, Author = "Genet, Thomas", date-added = "2014-05-02 06:35:26 +0000", date-modified = "2014-05-02 06:36:12 +0000", Title = "Reachability analysis of rewriting for software verification", Year = "2009", File = "Reachability analysis of rewriting for software veriﬁcation - Genet (0) (0) - a - a - c.pdf" }