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