Αποστολή με SMS: Βελτιστοποιημένες μηχανές συλλογιστικής για εκφραστικές περιγραφικές λογικές /