[1]
J. C. Bradfield, “Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree”, BRICS, vol. 5, no. 53, Dec. 1998.