@第{zbMATH06074458条，作者={Ferraris，Paolo and Lee，Joohyung and Lierler，Yuliya and Lifschitz，Vladimir and Yang，Fangkai}，标题={用逻辑程序表示一阶因果理论}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={12}，数字={3}，页码={383--412}，年份={2012}，语言={英语}，DOI={10.1017/S147106841100081}，关键词={68N17,03B10}，zbMATH={6074458}，Zbl={1247.68043}}