この資料をSMS送信: Complexity of Nested Circumscription and Abnormality Theories