@Article{         Hague:ConcurrentCPDS:2013,
  Author        = "Hague, Matthew",
  date-added    = "2013-11-12 14:39:43 +0000",
  date-modified = "2014-05-06 20:03:26 +0000",
  EPrint        = "1310.2631",
  Month         = "10",
  Title         = "Saturation of Concurrent Collapsible Pushdown Systems",
  URL           = "http://arxiv.org/abs/1310.2631",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1310.2631",
  File          = "Saturation of Concurrent Collapsible Pushdown Systems - Hague (0) (1) - a - a - b.pdf"
}

@Article{ Hague:ConcurrentCPDS:2013, Author = "Hague, Matthew", date-added = "2013-11-12 14:39:43 +0000", date-modified = "2014-05-06 20:03:26 +0000", EPrint = "1310.2631", Month = "10", Title = "Saturation of Concurrent Collapsible Pushdown Systems", URL = "http://arxiv.org/abs/1310.2631", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1310.2631", File = "Saturation of Concurrent Collapsible Pushdown Systems - Hague (0) (1) - a - a - b.pdf" }