SMS: Нормальные формы, инварианты и локальные отображения