Courcelle, Bruno, and Igor Walukiewicz. “Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems”. BRICS Report Series 2, no. 44 (June 14, 1995). Accessed October 16, 2019. https://tidsskrift.dk/brics/article/view/19945.