Explanatory nonmonotonic reasoning - Bochman, Alexander 1955- (World Scientific, 2005)