An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update