TY  - RPRT
TI  - Local Reasoning for Global Graph Properties
AU  - Siddharth Krishna
AU  - Alexander J. Summers
AU  - Thomas Wies
PY  - 2019
UR  - https://arxiv.org/abs/1911.08632
ID  - 1911.08632
ER  -