Αποστολή με SMS: Logic in Computer Science LICS '96