NMR - Overview

Nonmonotonic Reasoning

Complexity of Non-Monotonic Logics, Thomas, 2010