@收款{zbMATH07532525，作者={Afshari、Bahareh和Leigh、Graham E.和Men{'E}ndez Turata、Guillermo}，Title={来自循环证明的统一插值：模态微积分}的情况，BookTitle={使用分析表和相关方法进行自动推理。第30届国际会议，tableaux 2021，英国伯明翰，2021年9月6-9日。诉讼}，国际标准图书编号={978-3-030-86058-5；978-3-0.30-86059-2}，页码={335--353}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-030-86059-2_20}，关键词={68V15}，zbMATH={7532525}}