A textbook of belief dynamics theory change and database updating - Hansson, Sven Ove 1951- (Kluwer Academic Publishers, 1999)