@在集合{zbMATH07172878，作者={赵，梁，王，小兵，舒，新丰，张，南}，Title={统一时序逻辑的证明系统}，BookTitle={计算与组合学。第25届国际会议，COCOON 2019，中国西安，2019年7月29日至31日。诉讼}，国际标准图书编号={978-3-030-26175-7；978-3-0.30-26176-4}，页码={663--676}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-26176-4_55}，关键词={03B44.03B35,68V15}，zbMATH={7172878}，Zbl=｛1497.03036｝}