@PhdThesis{       Kojima,
  Author        = "Kojima, Yoshiharu",
  date-added    = "2014-05-02 06:38:49 +0000",
  date-modified = "2014-05-02 06:39:04 +0000",
  Title         = "Decidability of Reachability for Term Rewriting with Reduction Strategies",
  File          = "Decidability of Reachability for Term Rewriting with Reduction Strategies - Kojima (0) (0) - a - a - x.pdf"
}

@PhdThesis{ Kojima, Author = "Kojima, Yoshiharu", date-added = "2014-05-02 06:38:49 +0000", date-modified = "2014-05-02 06:39:04 +0000", Title = "Decidability of Reachability for Term Rewriting with Reduction Strategies", File = "Decidability of Reachability for Term Rewriting with Reduction Strategies - Kojima (0) (0) - a - a - x.pdf" }