@misc{indiciaeeb4767ec2cdd,
  title = {Some Complexity Results for Stateful Network Verification},
  author = {Kalev Alpernas and Aurojit Panda and Alexander Rabinovich and Mooly Sagiv and Scott Shenker and Sharon Shoham and Yaron Velner},
  year = {2021},
  doi = {10.1007/s10703-018-00330-9},
  url = {https://arxiv.org/abs/2106.01030},
  note = {Source identifier: 2106.01030}
}