@misc{indiciae7c30c858f140,
  title = {The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research},
  author = {Joseph Y. Halpern and Carl Lagoze},
  year = {1998},
  url = {https://arxiv.org/abs/cs/9812020},
  note = {Source identifier: cs/9812020}
}