Frontiers in belief revision - Williams, Mary-Anne; Rott, Hans, 1959- (Applied logic series, 2001)