戴尔·米勒 逻辑编程的证明理论基础综述。 （英语） Zbl 07776351号 理论与实践。日志。程序。 22，第6号，859-904（2022）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit｛D.Miller｝，《理论与实践》。日志。程序。22，第6号，859--904（2022；Zbl 07776351） 全文： 内政部 arXiv公司
安德烈亚斯·亚贝尔;碧姬·品特卡 依赖类型和记录的高阶动态模式统一。 （英语） Zbl 1331.68040号 Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690，10-26（2011）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}和\textit{B.Pientka}，莱克特。注释计算。科学。6690，10--26（2011；Zbl 1331.68040） 全文： 内政部
碧姬·品特卡;乔舒亚·邓菲尔德 白鲸：用演绎系统进行编程和推理的框架（系统描述）。 （英语） Zbl 1291.68366号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，15-21（2010）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}和\textit{J.Dunfield}，莱克特。注释计算。科学。6173，15--21（2010；Zbl 1291.68366） 全文： 内政部