@第{zbMATH07100458条，作者={米勒，戴尔}，标题={机械化元理论重访}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积＝{63}，数字={3}，页码={625--665}，年份={2019}，语言={英语}，DOI={10.1007/s10817-018-9483-3}，关键词={68V15,03B35}，zbMATH={7100458}，Zbl={1468.68303}}