Belief revision - Gärdenfors, Peter, 1949- (Cambridge Tracts in Theoretical Computer Science ;, 1992)