@misc{indiciae18983e969ddf,
  title = {Local Reasoning for Global Graph Properties},
  author = {Siddharth Krishna and Alexander J. Summers and Thomas Wies},
  year = {2019},
  url = {https://arxiv.org/abs/1911.08632},
  note = {Source identifier: 1911.08632}
}