“使用逻辑编程进行自动编码规则一致性检查。”
吉勒姆·马尔蓬斯·乌塞罗 , 朱利奥·马里尼奥·卡巴洛 , 曼努埃尔·卡罗 , 安杰尔·赫兰兹·尼娃 , 胡安·何塞·莫雷诺-纳瓦罗 , 拉尔斯·奥克·弗雷德隆德 :
使用逻辑编程进行自动编码规则一致性检查。 PADL(PADL) 2008 : 18-34
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。