胡安·克莱门特·维达尔 恩里克·科斯梅·洛佩斯 自由多分类代数可识别性定理的基于同余的证明。 561-633 2020 30 J.日志。计算。 2 https://doi.org/10.1093/logcom/exz032 https://www.wikidata.org/entity/Q113818620 db/journals/logcom/logcom30.html#VidalC20