You are about to access our book library "Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties full version" .