@Misc{            Arnold:strict:99,
  Author        = "Arnold, Andr{\'e}",
  date-added    = "2014-03-22 07:11:40 +0000",
  date-modified = "2014-03-22 07:11:40 +0000",
  Title         = "µ-Calculus Alternation-Depth Hierarchy Is Strict On Binary Trees",
  Year          = "1999",
  File          = "µ-Calculus Alternation-Depth Hierarchy Is Strict On Binary Trees - Arnold (1) (0) - a - a - c.pdf"
}

@Misc{ Arnold:strict:99, Author = "Arnold, Andr{\'e}", date-added = "2014-03-22 07:11:40 +0000", date-modified = "2014-03-22 07:11:40 +0000", Title = "µ-Calculus Alternation-Depth Hierarchy Is Strict On Binary Trees", Year = "1999", File = "µ-Calculus Alternation-Depth Hierarchy Is Strict On Binary Trees - Arnold (1) (0) - a - a - c.pdf" }