@第{zbMATH04064955条，作者={Boyer，Robert S.和Moore，J.Strother}，标题={将有界量化和部分函数添加到计算逻辑及其定理证明器}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={4}，数字={2}，页码={117--172}，年份={1988年}，语言={英语}，DOI={10.1007/BF00244392}，关键词={03B35,03B15,68Q65,68T15,03-04}，zbMATH={4064955}，Zbl={0653.03007}}