大卫·库欣;乔治·W·斯塔格。;大卫·I·斯图尔特。 Prolog辅助搜索新的简单李代数。 （英文） Zbl 07810340号 数学。计算。 93，编号347，1473-1495（2024）.MSC公司：17-08 17对20 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cushing}等人，数学。计算。93，编号347，1473-1495（2024；Zbl 07810340） 全文： 内政部 arXiv公司
阿尔弗雷德·维迪格 通过重写来解决两类非结合环的单词问题。 （英文） Zbl 1116.17300号 J.塞姆。计算。 32，第3期，291-301（2001）.MSC公司：17A30型 03B35型 03D40号 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Widiger}，J.Symb。计算。32，第3号，291--301（2001；Zbl 1116.17300） 全文： 内政部 链接
肯尼斯·库恩 备用环路。 （英文） 兹伯利0895.20053 Commun公司。代数 26，第2期，557-564（1998）. 审核人：E.Broíková（普拉哈） MSC公司：20号05 2017年05月 PDF格式BibTeX公司 XML格式引用 \textit｛K.Kunen｝，公社。代数26，No.2，557--564（1998；Zbl 0895.20053） 全文： 内政部
张汉涛 完成模分配和交换群的案例研究。 （英文） Zbl 1503.68297号 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。690, 32-46 (1993).MSC公司：68伏15 03B35型 17-08 2017年05月 20-08 20K99美元 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}，莱克特。注释计算。科学。690，32-46（1993年；兹bl 1503.68297） 全文： 内政部
阿南塔拉曼，湿婆;Jieh乡 交替环中Moufang恒等式的自动证明。 （英文） Zbl 0698.68079号 J.汽车。推理 6，No.1，79-109（1990）.MSC公司：68吨15 17-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Anantharaman}和\textit{J.祥}，J.Autom。推理6，No.1，79--109（1990；Zbl 0698.68079） 全文： 内政部