Belief revision - Gardenfors, Peter (Cambridge tracts in theoretical computer science ; ;, 1992)