Αποστολή με SMS: On model-theoretic approaches to monadic second-order logic evaluation