@第{zbMATH06988657条，作者={Farka，Franti{\v{s}}ek和Komendantskya，Ekaterina和Hammond，Kevin}，Title={依赖类型推理和术语合成的证明相关{Horn}子句}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={18}，数字={3-4}，页码={484--501}，年份={2018}，语言={英语}，DOI={10.1017/S1471068418000212}，关键词={68V15,03B35,68N17,68N18}，zbMATH={6988657}，Zbl={1451.68323}}