Zaslat SMS: Theories for planning /