@第{zbMATH07356977条，作者={吉拉尔迪、西尔维奥和帕加尼、埃琳娜}，标题={高阶量词消除、反模拟和容错系统}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN＝{0168-7433}，体积={65}，数字={3}，页码={425--460}，年份={2021}，语言={英语}，DOI={10.1007/s10817-020-09578-5}，关键词={68V15}，zbMATH={7356977}}