Courcelle, B., & Walukiewicz, I. (1995). Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems. BRICS Report Series, 2(44). https://doi.org/10.7146/brics.v2i44.19945