沃尔夫拉姆·卡尔 教学工具中的计算关系代数证明CalcCheck（计算检查）. （英语） Zbl 1462.68217号 J.日志。阿尔盖布。方法计划。 117，文章ID 100581，39 p.（2020）.MSC公司：68伏15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}，J.Log。阿尔盖布。方法计划。117，文章ID 100581，39页（2020；兹bl 1462.68217） 全文： 内政部
沃尔夫拉姆·卡尔 教学工具CalcCheck：Gries和Schneider的“离散数学逻辑方法”的校对工具。 （英语） Zbl 1350.68238号 Jouannaud，Jean-Pierre（编辑）等人，认证程序和证明。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，216-230（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}，莱克特。票据计算。科学。7086、216——230（2011年；Zbl 1350.68238） 全文： 内政部