Maurizio Lenzerini Daniele Nardi Belief Revision as Meta-Reasoning. 577-579 1988 ECAI db/conf/ecai/ecai88.html#LenzeriniN88