@InCollection｛zbMATH07410653，作者={Bromberger、Martin和Fiori、Alberto和Weidenbach、Christoph}，标题={决定{伯奈斯}-{Schoenfinkel}通过理论上的简单子句学习在有界差分约束上的片段}，BookTitle={验证、模型检查和抽象解释。第22届国际会议，VMCAI 2021，哥本哈根，丹麦，2021年1月17日至19日。诉讼}，国际标准图书编号={978-3-030-67066-5；978-3-0.30-67067-2}，页码={511--533}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-67067-2_23}，关键词={03B70,03B25,68Q32}，zbMATH={7410653}，Zbl=｛1472.03024｝}