@Conference{      mellies:LICS:2017,
  Author        = "Melli{\`e}s, Paul-Andr{\'e}",
  BookTitle     = "Proc. of LICS'17",
  date-added    = "2017-06-22 13:52:29 +0000",
  date-modified = "2017-06-22 19:59:13 +0000",
  Keywords      = "higher-order recursive schemes and readme",
  Title         = "Higher-order parity automata",
  Year          = "2017",
  File          = "39 (0) - a - a - r.pdf"
}

@Conference{ mellies:LICS:2017, Author = "Melli{`e}s, Paul-Andr{\'e}", BookTitle = "Proc. of LICS'17", date-added = "2017-06-22 13:52:29 +0000", date-modified = "2017-06-22 19:59:13 +0000", Keywords = "higher-order recursive schemes and readme", Title = "Higher-order parity automata", Year = "2017", File = "39 (0) - a - a - r.pdf" }