@收款{zbMATH07498164，作者={Unno，Hiroshi and Terauchi，Tachio and Koskinen，Eric}，标题={基于约束的关系验证}，BookTitle={计算机辅助验证。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分}，国际标准图书编号={978-3-030-81684-1；978-3-0.30-81685-8}，页码={742--766}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-81685-8_35}，关键词={68N30,68Q60}，zbMATH={7498164}，Zbl={1493.68125}}