@Article{         KartzowParys,
  Author        = "Kartzow, Alexander and Parys, Pawe{\l}",
  Abstract      = "We present a pumping lemma for each level of the collapsible pushdown graph hierarchy in analogy to the second author's pumping lemma for higher-order pushdown graphs (without collapse). As a corollary we obtain the first proof that the hierarchy is strict.",
  date-added    = "2012-06-05 11:16:07 +0200",
  date-modified = "2012-06-05 09:16:22 +0000",
  EPrint        = "1201.3250v1",
  Keywords      = "higher-order pushdown automata and higher-order recursion schemes",
  Month         = "01",
  Title         = "Strictness of the Collapsible Pushdown Hierarchy",
  URL           = "http://arxiv.org/abs/1201.3250v1",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1201.3250v1",
  File          = "Strictness of the Collapsible Pushdown Hierarchy - Kartzow, Parys (0) (0) - a - a - e.pdf",
  file-2        = "Strictness of the Collapsible Pushdown Hierarchy - Kartzow, Parys (1) (0) - a - a - e.pdf"
}

@Article{ KartzowParys, Author = "Kartzow, Alexander and Parys, Pawe{\l}", Abstract = "We present a pumping lemma for each level of the collapsible pushdown graph hierarchy in analogy to the second author's pumping lemma for higher-order pushdown graphs (without collapse). As a corollary we obtain the first proof that the hierarchy is strict.", date-added = "2012-06-05 11:16:07 +0200", date-modified = "2012-06-05 09:16:22 +0000", EPrint = "1201.3250v1", Keywords = "higher-order pushdown automata and higher-order recursion schemes", Month = "01", Title = "Strictness of the Collapsible Pushdown Hierarchy", URL = "http://arxiv.org/abs/1201.3250v1", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1201.3250v1", File = "Strictness of the Collapsible Pushdown Hierarchy - Kartzow, Parys (0) (0) - a - a - e.pdf", file-2 = "Strictness of the Collapsible Pushdown Hierarchy - Kartzow, Parys (1) (0) - a - a - e.pdf" }