Αποστολή με SMS: Propositional, Probabilistic and Evidential Reasoning