Iterated Belief Change in the Situation Calculus. - Shapiro, Steven; Pagnucco, Maurice; Lespérance, Yves; Levesque, Hector J. (2000)