@Article{         Kasai:Iwata:1992,
  Author        = "Kasai, Takumi and Iwata, Shigeki",
  date-added    = "2020-05-15 06:58:28 +0200",
  date-modified = "2020-05-15 06:58:40 +0200",
  JournalJapanese       = {{数理解析研究所講究録}},
  Journal   = {{RIMS Kokyuroku}},
  Month         = "7",
  PublisherJapanese     = {{京都大学数理解析研究所}},
  Title         = "Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete",
  URL           = "http://hdl.handle.net/2433/82765",
  Volume        = "796",
  Year          = "1992",
  bdsk-url-1    = "http://hdl.handle.net/2433/82765",
  File          = "Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete - 0796-02 - a - n.pdf"
}

@Article{ Kasai:Iwata:1992, Author = "Kasai, Takumi and Iwata, Shigeki", date-added = "2020-05-15 06:58:28 +0200", date-modified = "2020-05-15 06:58:40 +0200", JournalJapanese = {{数理解析研究所講究録}}, Journal = {{RIMS Kokyuroku}}, Month = "7", PublisherJapanese = {{京都大学数理解析研究所}}, Title = "Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete", URL = "http://hdl.handle.net/2433/82765", Volume = "796", Year = "1992", bdsk-url-1 = "http://hdl.handle.net/2433/82765", File = "Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete - 0796-02 - a - n.pdf" }