@misc{indiciaeeadc6c71e973,
  title = {Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations},
  author = {Paolo Baldan and Barbara König and Tommaso Padoan},
  year = {2021},
  doi = {10.4230/lipics.concur.2020.25},
  url = {https://arxiv.org/abs/2003.08877},
  note = {Source identifier: 2003.08877}
}