巴哈州阿默里;迈克尔·格里宁格 可简化理论和模型合并。 (英语) Zbl 07650605号 ACM事务处理。计算。日志。 24,第1号,第9号论文,24页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Aameri}和\textit{M.Grüninger},ACM Trans。计算。日志。24,第1号,第9号论文,24页(2023;Zbl 07650605) 全文: 内政部
D.皮尔斯。;瓦尔弗德,A。 答案集编程中的同义理论和知识表示。 (英语) Zbl 1250.68254号 J.计算。系统。科学。 78,第1期,86-104(2012). 审核人:沃尔夫冈·费伯(维也纳) MSC公司:68立方英尺 03B20型 03B55号 68N17号 68T27型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{A.Valverde},J.Compute。系统。科学。78,第1号,86-104(2012;Zbl 1250.68254) 全文: 内政部