@misc{indiciaef8334122bdd9,
  title = {Real Equation Systems with Alternating Fixed-points (full version with proofs)},
  author = {Jan Friso Groote and Tim A. C. Willemse},
  year = {2023},
  url = {https://arxiv.org/abs/2307.07455},
  note = {Source identifier: 2307.07455}
}