雅克·卡雷特;Farmer，William M。;亚斯敏·沙罗达 利用理论陈述中包含的信息。 （英语） Zbl 1455.68255号 Benzmüller，Christoph（编辑）等人，《智能计算机数学》。第十三届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26-31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12236, 55-70 (2020).MSC公司：68V20型 08A70型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，Lect。注释计算。科学。12236，55-70（2020；Zbl 1455.68255） 全文： 内政部 arXiv公司
Miranda-Perea，Favio E。;González Huesca，Lourdes del Carmen酒店;Linares Arévalo，P.赛琳 方程推理的交互式证明研究。 （英语） Zbl 1477.03033号 日志。J.IGPL公司 28，第6期，1155-1181（2020）.MSC公司：03B35型 68伏15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.E.Miranda-Perea}等人，《日志》。J.IGPL 28，第6期，1155--1181（2020；Zbl 1477.03033） 全文： 内政部
沃尔夫拉姆·卡尔 关系半群胚：无限类型之间有限关系的抽象关系代数接口。 （英语） Zbl 1139.18005号 J.日志。阿尔盖布。程序。 76，第1号，60-89（2008）.MSC公司：18B40码 18磅10英寸 03G15年 08A05级 68卢比99 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}，J.Log。阿尔盖布。程序。76，第1号，60-89（2008年；兹bl 1139.18005） 全文： 内政部
马内斯，厄尼 集合的单数。 （英语） 兹比尔1064.18003 Hazewinkel，M.（编辑），《代数手册》。第3卷。阿姆斯特丹：爱思唯尔（ISBN 0-444-51264-0/hbk）。67-153 (2003). 审核人：彼得·约翰斯通（剑桥） MSC公司：18立方厘米 06B35号 08C05号机组 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Manes}，in：代数手册。第3卷。阿姆斯特丹：爱思唯尔。67-153（2003年；Zbl 1064.18003）
约瑟夫·戈根（Joseph A.Goguen）。;何塞·梅塞格尔 有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号 西奥。计算。科学。 105，第2期，217-273（1992）. 审核人：S.Bloom（霍博肯） MSC公司：68问题55 08A70型 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第2号，217--273（1992；Zbl 0778.68056） 全文： 内政部
菲利普·瓦德勒 理解单子。 （英语） Zbl 0798.68040号 数学。结构。计算。科学。 2，第4期，461-493（1992）.MSC公司：68第05页 68甲15 18立方厘米 18立方厘米 68问题65 08A70型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Wadler}，数学。结构。计算。科学。2，第4号，461--493（1992；Zbl 0798.68040） 全文： 内政部