@misc{indiciaea5b62f4cf538,
  title = {Valid formulas, games and network protocols},
  author = {Jean-Louis Krivine and Yves Legrandgérard},
  year = {2007},
  url = {https://arxiv.org/abs/0708.1480},
  note = {Source identifier: 0708.1480}
}