Redundancy in Logic III: Non-Mononotonic Reasoning
  Results about the redundancy of circumscriptive and default theories are presented. In particular, the complexity of establishing whether a given theory is redundant is establihsed. 
Paolo Liberatore