Complexity of nested circumscription and abnormality theories.