Jiefei Ma Alessandra Russo Krysia Broda Keith Clark DARE: a system for distributed abductive reasoning. 271-297 2008 16 Autonomous Agents and Multi-Agent Systems 3 http://dx.doi.org/10.1007/s10458-008-9028-y db/journals/aamas/aamas16.html#MaRBC08