@InProceedings{   CavallariMichalewskiSkrzypczak:MFCS:2017,
  Author        = "Cavallari, Filippo and Michalewski, Henryk and Skrzypczak, Michal",
  BookTitle     = "Proc. of MFCS'17",
  date-added    = "2020-01-23 17:47:45 +0100",
  date-modified = "2020-08-12 14:43:24 +0200",
  Organization  = "Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik",
  Title         = "A Characterisation of {$\Pi^0\_2$} Regular Tree Languages",
  doi           = "10.4230/LIPIcs.MFCS.2017.56",
  Year          = "2017",
  File          = "A characterisation of Π02 regular tree languages - sk17\_G\_delta\_MFCS - a - a - a - o.pdf"
}

@InProceedings{ CavallariMichalewskiSkrzypczak:MFCS:2017, Author = "Cavallari, Filippo and Michalewski, Henryk and Skrzypczak, Michal", BookTitle = "Proc. of MFCS'17", date-added = "2020-01-23 17:47:45 +0100", date-modified = "2020-08-12 14:43:24 +0200", Organization = "Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik", Title = "A Characterisation of {$\Pi^0_2$} Regular Tree Languages", doi = "10.4230/LIPIcs.MFCS.2017.56", Year = "2017", File = "A characterisation of Π02 regular tree languages - sk17_G_delta_MFCS - a - a - a - o.pdf" }