@misc{indiciae1f06b11e3e07,
  title = {Putting Logic-Based Distributed Systems on Stable Grounds},
  author = {Tom J. Ameloot and Jan Van den Bussche and William R. Marczak and Peter Alvaro and Joseph M. Hellerstein},
  year = {2015},
  doi = {10.1017/s1471068415000381},
  url = {https://arxiv.org/abs/1507.05539},
  note = {Source identifier: 1507.05539}
}