@misc{indiciaeb41bb3030b2c,
  title = {Abstract machines for dialogue games},
  author = {Pierre-Louis Curien and Hugo Herbelin},
  year = {2007},
  url = {https://arxiv.org/abs/0706.2544},
  note = {Source identifier: 0706.2544}
}