亚历山大·斯蒂恩;克里斯托夫·本兹穆勒 Leo-III中的扩展高阶副调制。 （英语） Zbl 1509.68321号 J.汽车。推理 65，第6号，775-807（2021）.理学硕士：68伏15 03B16号 03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Steen}和\textit{C.Benzmüller}，J.Autom。推理65，No.6，775--807（2021；Zbl 1509.68321） 全文： 内政部 arXiv公司
马克斯·维斯涅夫斯基;亚历山大·斯蒂恩;克里斯托夫·本兹穆勒 LeoPARD公司–用于实现高阶推理机的通用平台。 （英语） Zbl 1417.68196号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 325-330 (2015).理学硕士：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Wisniewski}等人，Lect。注释计算。科学。9150325-330（2015；Zbl 1417.68196） 全文： 内政部 arXiv公司