Nonmonotonic reasoning logical foundations of commonsense - Brewka, Gerhard (Cambridge Univ. Press, 1991)