卢卡·埃特罗 瓦伦蒂娜·卡斯蒂格利奥尼 万·J·福克金 Anna Ingólfsdóttir女士 巴斯·卢提克 获得并行组合的有限公理化需要两个二元运算符吗？ 22:1-22:56 2022 23 ACM事务处理。计算。日志。 4 https://doi.org/10.1145/3529535 db/journals/tocl/tocl23.html#AcetoCFIL22