Bruno Courcelle The Monadic Second-Order Logic of Graphs, II: Infinite Graphs of Bounded Width. 187-221 1989 21 Mathematical Systems Theory 4 db/journals/mst/mst21.html#Courcelle89