Bradfield, J.C. 1998. Fixpoint Alternation: Arithmetic, Transition Systems, and the Binary Tree. BRICS Report Series. 5, 53 (Dec. 1998). DOI:https://doi.org/10.7146/brics.v5i53.19499.