Nonmonotonic reasoning: logical foundations of commonsense (1991)

by G Brewka