Nonmonotonic reasoning an overview - Brewka, Gerhard; Dix, Jürgen 1961-; Konolige, Kurt (Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes, 1997)