@misc{indiciae4fed227af432,
  title = {On finitely recursive programs},
  author = {Sabrina Baselice and Piero A. Bonatti and Giovanni Criscuolo},
  year = {2009},
  url = {https://arxiv.org/abs/0901.2850},
  note = {Source identifier: 0901.2850}
}