Computing belief revision - Berendt, Bettina; Smaill, Alan (University <Edinburgh>, 1992)