Nonmonotonic reasoning logical foundations of commonsense - Brewka, Gerhard (Cambridge tracts in theoretical computer science, 1991)