@Article{         TAKAIToshinori:2002-03-01,
  Author        = "Takai, Toshinori and Kaji, Yuichi and Seki, Hiroyuki",
  date-added    = "2014-01-24 17:37:38 +0000",
  date-modified = "2014-02-17 11:17:27 +0000",
  ISSN          = "09168532",
  Journal       = "IEICE transactions on information and systems",
  Keywords      = "term rewriting systems",
  Month         = "mar",
  Number        = "3",
  Pages         = "487-496",
  Publisher     = "The Institute of Electronics, Information and Communication Engineers",
  Title         = "Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable",
  URL           = "http://ci.nii.ac.jp/naid/110003219935/en/",
  Volume        = "85",
  Year          = "2002",
  bdsk-url-1    = "http://ci.nii.ac.jp/naid/110003219935/en/",
  File          = "Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable - TAKAI, KAJI, SEKI (0) (0) - a - a - g.pdf"
}

@Article{ TAKAIToshinori:2002-03-01, Author = "Takai, Toshinori and Kaji, Yuichi and Seki, Hiroyuki", date-added = "2014-01-24 17:37:38 +0000", date-modified = "2014-02-17 11:17:27 +0000", ISSN = "09168532", Journal = "IEICE transactions on information and systems", Keywords = "term rewriting systems", Month = "mar", Number = "3", Pages = "487-496", Publisher = "The Institute of Electronics, Information and Communication Engineers", Title = "Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable", URL = "http://ci.nii.ac.jp/naid/110003219935/en/", Volume = "85", Year = "2002", bdsk-url-1 = "http://ci.nii.ac.jp/naid/110003219935/en/", File = "Termination Property of Inverse Finite Path Overlapping Term Rewriting System is Decidable - TAKAI, KAJI, SEKI (0) (0) - a - a - g.pdf" }