Fixpoint alternation: arithmetic, transition systems, and the binary tree

J. C. Bradfield
1999 RAIRO - Theoretical Informatics and Applications  
doi:10.1051/ita:1999122 fatcat:ylhvnxu4fnea3kdz6yutg5xwje