Zaslat SMS: Logic and computational complexity :