尼克·本顿；马丁·霍夫曼；Vivek Nigam先生 用于名称生成的证明相关的逻辑关系。 （英语） Zbl 1459.68041号 日志。方法计算。科学。 14，第1号，第25号论文，第22页（2018）.MSC公司：68号30 03B70号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Log。方法计算。科学。14，第1号，第25号论文，22页（2018；Zbl 1459.68041） 全文： 内政部 arXiv公司
尼克·本顿；马丁·霍夫曼；Vivek Nigam先生 抽象效果和证明相关的逻辑关系。 （英语） Zbl 1284.68371号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。619-631 (2014).MSC公司：第68季度55 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。619--631（2014年；Zbl 1284.68371） 全文： 内政部 arXiv公司