Monadic Logic

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach (Encyclopedia of Mathematics and its Applications)

Bruno Courcelle,Joost Engelfriet