Bridges from classical to nonmonotonic logic - Makinson, David 1941- (Texts in computing, 2005)