Nonmonotonic and Inductive Logic
Chapter 6. A Nonmonotonic Logic
Logic Programming and Nonmonotonic Reasoning