On model-theoretic approaches to monadic second-order logic evaluation - Κοσμαδάκης, Σταύρος; Φουστούκου, Ευγενία (2014)