Αποστολή με SMS: The resolution calculus /