Cheng, Allan. 1995. “Complexity Results for Model Checking”. BRICS Report Series 2 (18). https://doi.org/10.7146/brics.v2i18.19920.