Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach - Bruno Courcelle; Joost Engelfriet (2012)