@收款{zbMATH07810573，作者={Rooduijn，Jan和Venema，Yde}，标题={双向无交替{{\（\mu\）}}-演算}的焦点式证明，BookTitle={逻辑、语言、信息和计算。第29届国际研讨会，WoLLIC 2023，哈利法克斯，NS，加拿大，2023年7月11-14日。诉讼}，国际标准图书编号={978-3-031-39783-7；978-3-331-39784-4}，页码={318--335}，年份={2023}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-031-39784-4_20}，关键词={03B70}，zbMATH={7810573}}