Αποστολή με SMS: Constraints in Computational Logics: Theory and Applications