Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth - Καλαντζή, Λαμπρινή; Φουστούκου, Ευγενία (2011)