TY  - RPRT
TI  - Real Equation Systems with Alternating Fixed-points (full version with proofs)
AU  - Jan Friso Groote
AU  - Tim A. C. Willemse
PY  - 2023
UR  - https://arxiv.org/abs/2307.07455
ID  - 2307.07455
ER  -