@misc{indiciae8992e85ea65f,
  title = {A Knowledge-Based Analysis of Global Function Computation},
  author = {Joseph Y. Halpern and Sabina Petride},
  year = {2007},
  url = {https://arxiv.org/abs/0707.3435},
  note = {Source identifier: 0707.3435}
}