Frontiers in belief revision - Williams, Mary-Anne (Applied logic series, 2001)