Graph structure and monadic second order logic - Courcelle, Bruno (2012)