Ken Satoh Nonmonotonic Reasoning by Minimal Belief Revision. 455-462 1988 FGCS db/conf/fgcs/fgcs88.html#Satoh88