@misc{indiciaee795df0b975e,
  title = {Abstract Fixpoint Computations with Numerical Acceleration Methods},
  author = {Olivier Bouissou and Yassamine Seladji and Alexandre Chapoutot},
  year = {2010},
  doi = {10.1016/j.entcs.2010.09.004},
  url = {https://arxiv.org/abs/1006.3159},
  note = {Source identifier: 1006.3159}
}