Alpernas, K., Panda, A., Rabinovich, A., Sagiv, M., Shenker, S., Shoham, S. and Velner, Y. Some complexity results for stateful network verification. Formal Methods Syst. Des. 54, 2, 191–231.