Benedita Malheiro Eugenio Oliveira Improving Assumption-based Distributed Belief Revision. 41-50 1995 SCAI db/conf/scai/scai1995.html#MalheiroO95