Invia SMS: A resolution principle for a logic with restricted quantifiers /