zbMATH中的参考文献（参考 37篇文章 37篇，1标准件)

1. Amendola，Giovanni；Ricca，Francesco；Truszczynski，Miroslaw:生成硬随机布尔公式和析取逻辑程序的新模型（2020）
2. 阿尔维亚诺，马里奥；阿蒙多拉，乔瓦尼；多达罗，卡敏；利昂，尼古拉；马拉提亚，马可；里卡，弗朗西斯科：对黄蜂分离程序的评估（2019年）
3. Alviano，Mario；Dodaro，Carmine；Fichte，Johannes K.；Hecher，Markus；Philipp，Tobias；Rath，Jakob:ASP的不一致性证明：ASP-DRUPE格式（2019）
4. Alviano，Mario；Faber，Wolfgang:广义原子逻辑程序的链式答案集（2019）
5. 阿尔维亚诺，马里奥；利昂，尼古拉；维尔特里，皮尔弗兰切斯科；赞加里，杰西卡：增强魔术集与应用到本体论推理（2019）
6. 阿蒙多拉，乔凡尼；多达罗，卡敏；马拉提亚，马可：《计算ASP程序谨慎后果的抽象求解器》（2019）
7. 阿蒙多拉，乔凡尼；多达罗，卡敏；里卡，弗朗西斯科：用更少的资源获得更好的准一致答案集（2019年）
8. 阿蒙多拉，乔凡尼；里卡，弗朗西斯科；特鲁兹钦斯基，米罗斯劳：超越NP：量化超过答案集（2019）
9. Calimeri，Francesco；Ianni，Giovambattista；Pacenza，Francesco；Perri，Simona；Zangari，Jessica:overgrounding的增量答案集编程（2019）
10. Bernardo Cuteri；Dodaro，Carmine；Ricca，Francesco；Schüller，Peter:ASP程序的部分编译（2019年）
11. Dodaro，Carmine；Gasteiger，Philip；Reale，Kristian；Ricca，Francesco；Schekotihin，Konstantin：调试非基础ASP程序：技术和图形工具（2019）
12. Ellmouthaler，Stefan（编辑）；Schulz，Claudia（编辑）：《面向用户的逻辑编程和推理范例TPLP专题介绍》（2019）
13. Fandinno，Jorge；Schulz，Claudia:回答集编程中的“为什么”——解释方法调查（2019）
14. Gelfond，Michael；Zhang，Yuanlin:基于ASP的语言中的恶性循环原理、聚合和集合的形成（2019）
15. 利昂，尼古拉；阿洛卡，卡罗；阿尔维亚诺，马里奥；卡利梅里，弗朗西斯科；Civili，Cristina；Costable，Roberta；佛罗伦萨，Alessio；Fuscá，Davide；Germano，Stefano；Laboccetta，Giovanni；Cuteri，Bernardo；Manna，Marco；Perri，Simona；Reale，Kristian；Ricca，Francesco；Veltri，Pierfrancesco；Zangari，杰西卡：增强大规模推理的DLV（2019）
16. 舒勒，彼得：Hexlite解算器。HEX项目的轻量级和高效评估（2019年）
17. Alviano，Mario；Dodaro，Carmine；Järvisalo，Matti；Marco Maratea；Previti，Alessandro:ASP中通过最小模型和不满意核心的谨慎推理（2018）
18. Mario Alviano；Carmine Dodaro；Marco Marotea：答案集编程中的共享聚合集（2018）
19. Bliem，Bernhard:Treewidth在非基础答案集解决和图中的联盟问题（2018）
20. Gebser，Martin；Kaminski，Roland；Kaufmann，Benjamin；Schaub，Torsten：使用clingo进行多点ASP解决（2018）