@Unpublished{     BroadbentKobayashia,
  Author        = "Broadbent, Christopher and Kobayashi, Naoki",
  date-added    = "2013-06-12 09:12:48 +0000",
  date-modified = "2013-06-12 09:13:08 +0000",
  Keywords      = "higher-order recursive schemes",
  Title         = "Streamlining Collapsible Pushdown Systems and their Model-Checking",
  Year          = "2013",
  File          = "Streamlining Collapsible Pushdown Systems and their Model-Checking - Broadbent, Kobayashi (0) (0) - a - a - u.pdf"
}

@Unpublished{ BroadbentKobayashia, Author = "Broadbent, Christopher and Kobayashi, Naoki", date-added = "2013-06-12 09:12:48 +0000", date-modified = "2013-06-12 09:13:08 +0000", Keywords = "higher-order recursive schemes", Title = "Streamlining Collapsible Pushdown Systems and their Model-Checking", Year = "2013", File = "Streamlining Collapsible Pushdown Systems and their Model-Checking - Broadbent, Kobayashi (0) (0) - a - a - u.pdf" }