Nonmonotonic Reasoning | MIT Press eBooks | IEEE Xplore