Luca Console Claudia Picardi Daniele Theseider Dupré A Framework for Decentralized Qualitative Model-Based Diagnosis. 286-291 2007 conf/ijcai/2007 IJCAI http://ijcai.org/Proceedings/07/Papers/044.pdf db/conf/ijcai/ijcai2007.html#ConsolePD07