@Unpublished{     KobayashiTsukada,
  Author        = "Kobayashi, Naoki and Tsukada, Takeshi",
  date-added    = "2014-04-26 06:27:28 +0000",
  date-modified = "2014-04-26 06:28:09 +0000",
  Keywords      = "readme",
  Title         = "Higher-Order Model Checking by Abstraction of Type Derivation Rewriting",
  File          = "Higher-Order Model Checking by Abstraction of Type Derivation Rewriting - Kobayashi, Tsukada (0) (0) - a - a - e.pdf"
}

@Unpublished{ KobayashiTsukada, Author = "Kobayashi, Naoki and Tsukada, Takeshi", date-added = "2014-04-26 06:27:28 +0000", date-modified = "2014-04-26 06:28:09 +0000", Keywords = "readme", Title = "Higher-Order Model Checking by Abstraction of Type Derivation Rewriting", File = "Higher-Order Model Checking by Abstraction of Type Derivation Rewriting - Kobayashi, Tsukada (0) (0) - a - a - e.pdf" }