Formal Methods for Nonmonotonic and Related Logics Vol II Theory Revision, Inheritance, and Various Abstract Properties / - Schlechta, Karl. (Springer International Publishing,)