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