摘要：模型修复问题的综述
作者：Paul C. Attie and Jad Saklawi
论文ID：0710.3332
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-04-15
PDF 下载： 英文版 中文版pdf翻译中