约尔格恩德鲁利斯;扬·威廉·克鲁普;Overbeek，罗伊 明星游戏和九头蛇。 （英语） Zbl 07379291号 日志。方法计算。科学。 17，第2号，第20号论文，32页（2021年）.MSC公司：第68季度第42季度 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人，《日志》。方法计算。科学。17，第2号，第20号论文，32页（2021；Zbl 07379291） 全文： 内政部 arXiv公司
艾哈迈德·巴亚特;贾尔斯·里格尔 定向组合方程的类Knuth-Bendix排序。 （英语） Zbl 07614517号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 259-277 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bhayat｝和\textit｛G.Reger｝，Lect。注释计算。科学。12166259--277（2020；Zbl 07614517） 全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔·旺德 无lambda的高阶递归路径顺序。 （英语） Zbl 1486.68085号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日，在瑞典乌普萨拉举行的2017年欧洲软件理论与实践联合会议ETAPS第20届国际会议FOSSACS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 461-479 (2017).MSC公司：第68季度第42季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.Blanchette｝等人，Lect。注释计算。科学。10203、461--479（2017；Zbl 1486.68085） 全文： 内政部 哈尔