@misc{indiciae465a2f2e360e,
  title = {Local Higher-Order Fixpoint Iteration},
  author = {Florian Bruse and Jörg Kreiker and Martin Lange and Marco Sälzer},
  year = {2020},
  doi = {10.4204/eptcs.326.7},
  url = {https://arxiv.org/abs/2009.10881},
  note = {Source identifier: 2009.10881}
}