Courcelle'S Theorem: Overview And Applications