胡安·克莱门特·维达尔 恩里克·科斯梅·洛佩斯 自由多分类代数可识别性定理的基于同余的证明。 2018 abs/1808.08217 CoRR公司 http://arxiv.org/abs/1808.08217 db/journals/corr/corr1808.html#abs-1808-08217