Textbook of belief dynamics Theory change and database updating - Hansson Sven Ove (1999)