Zaslat SMS: Complexity of Nested Circumscription and Abnormality Theories