Graph structure and monadic second-order logic a language-theoretic approach - Courcelle, Bruno; Engelfriet, Joost (Cambridge Cambridge University Press, 2012)
Keywords: Logic, Symbolic and mathematical -- Graphic methods