The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach. - Eugénie Foustoucos; Labrini Kalantzi (Fundam. Informaticae, 2009)