@misc{indiciae010f83dcc3cb,
  title = {Local Reasoning for Parameterized First Order Protocols},
  author = {Rylo Ashmore and Arie Gurfinkel and Richard Trefler},
  year = {2019},
  url = {https://arxiv.org/abs/1903.03218},
  note = {Source identifier: 1903.03218}
}