Velner, Y., Alpernas, K., Panda, A., Rabinovich, A., Sagiv, M., Shenker, S. and Shoham, S. Some Complexity Results for Stateful Network Verification. TACAS 2016.