@misc{indiciaeda7ce2550839,
  title = {Arbiter with random tie breaking},
  author = {Lesartre, Gregg B. and Emmot, Darel N. and Gibson, James D.},
  year = {2024},
  url = {https://www.osti.gov/biblio/2542015},
  note = {Source identifier: 2542015}
}