卢卡·埃特罗 瓦伦蒂娜·卡斯蒂格利奥尼 万·J·福克金 Anna Ingólfsdóttir女士 巴斯·卢提克 有限公理化并行组合需要两个二元运算符吗？ 2020 腹肌/2010.01943 CoRR公司 https://arxiv.org/abs/2010.01943 db/journals/corr/corr2010.html#abs-2010-01943