@第{zbMATH07776352条，作者={Dovier、Agostino和Formisano、Andrea和Gupta、Gopal和Hermenegildo、Manuel V.和Pontelli、Enrico和Rocha、Ricardo}，Title={并行逻辑编程：续集}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={22}，数字={6}，页码={905--973}，年份={2022}，语言={英语}，DOI={10.1017/S1471068422000059}，关键词={68N17}，zbMATH={7776352}}