马可·波扎诺 亚历山德罗·西马蒂 马可·加里奥 斯特凡诺·托内塔 诊断器规范、验证和综合的形式化框架。 2013 AAAI（最新发展） http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7048 conf/aaai/2013晚 db/conf/aaai/late2013.html#BozzanoCGT13