Stephen Morris Revising Knowledge: a Hierarchical Approach. 160-174 1994 conf/tark/1994 TARK db/conf/tark/tark1994.html#Morris94