@Article{         2018arXiv180502963H,
  Author        = "{Hague}, M. and {Meyer}, R. and {Muskalla}, S. and {Zimmermann}, M.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180502963H",
  ArchivePrefix = "arXiv",
  date-added    = "2018-07-06 15:13:08 +0000",
  date-modified = "2018-07-06 15:13:08 +0000",
  EPrint        = "1805.02963",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory",
  Month         = "May",
  PrimaryClass  = "cs.LO",
  Title         = "{Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems}",
  Year          = "2018",
  File          = "1805.02963 (0) - a - a - e.pdf"
}

@Article{ 2018arXiv180502963H, Author = "{Hague}, M. and {Meyer}, R. and {Muskalla}, S. and {Zimmermann}, M.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180502963H", ArchivePrefix = "arXiv", date-added = "2018-07-06 15:13:08 +0000", date-modified = "2018-07-06 15:13:08 +0000", EPrint = "1805.02963", Journal = "ArXiv e-prints", Keywords = "Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory", Month = "May", PrimaryClass = "cs.LO", Title = "{Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems}", Year = "2018", File = "1805.02963 (0) - a - a - e.pdf" }