@InProceedings{   CarayolSerre,
  Author        = "Carayol, Arnaud and Serre, Olivier",
  BookTitle     = "Logic in Computer Science",
  date-added    = "2012-08-10 07:10:15 +0200",
  date-modified = "2012-08-10 07:11:17 +0200",
  Keywords      = "collapsible pushdown automata and higher-order recursion schemes",
  Title         = "Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection",
  Year          = "2012",
  File          = "Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection - Carayol, Serre (0) (0) - a - a - h.pdf",
  file-2        = "Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection - Carayol, Serre (1) (0) - a - a - h.pdf"
}

@InProceedings{ CarayolSerre, Author = "Carayol, Arnaud and Serre, Olivier", BookTitle = "Logic in Computer Science", date-added = "2012-08-10 07:10:15 +0200", date-modified = "2012-08-10 07:11:17 +0200", Keywords = "collapsible pushdown automata and higher-order recursion schemes", Title = "Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection", Year = "2012", File = "Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection - Carayol, Serre (0) (0) - a - a - h.pdf", file-2 = "Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection - Carayol, Serre (1) (0) - a - a - h.pdf" }