@Unpublished{     Geneta,
  Author        = "Genet, Thomas",
  date-added    = "2014-05-02 06:37:36 +0000",
  date-modified = "2014-05-02 06:38:04 +0000",
  Title         = "Proving Reachability Properties on Term Rewriting Systems with Strategies",
  File          = "Proving Reachability Properties on Term Rewriting Systems with Strategies - Genet (0) (0) - a - a - r.pdf"
}

@Unpublished{ Geneta, Author = "Genet, Thomas", date-added = "2014-05-02 06:37:36 +0000", date-modified = "2014-05-02 06:38:04 +0000", Title = "Proving Reachability Properties on Term Rewriting Systems with Strategies", File = "Proving Reachability Properties on Term Rewriting Systems with Strategies - Genet (0) (0) - a - a - r.pdf" }