أرسل هذا في رسالة قصيرة: Complexity of Nested Circumscription and Abnormality Theories