Zaslať SMS: Deduktion. Automatisierung der Logik /