克拉克·巴雷特;莱昂纳多·德·莫拉;帕斯卡·方丹 可满足性模理论的证明。 （英语） Zbl 1431.68111号 Woltzenogel Paleo，Bruno（编辑）等人，《关于证据的一切，所有证据》。伦敦：大学出版社。螺柱日志。（伦敦）55，23-44（2015）。理学硕士：68T20型 68兰特 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，研究日志。（伦敦）55，23-44（2015；Zbl 1431.68111）
肖恩·麦克劳克林;克拉克·巴雷特;葛叶婷 合作定理证明器：结合HOL-Light和CVC-Lite的案例研究。 （英语） Zbl 1272.68362号 Armando，Alessandro（编辑）等人，《自动推理中决策过程的语用学第三次研讨会论文集》（PDPAR 2005），英国爱丁堡，2005年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》144，第2期，43-51（2006）。理学硕士：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Mclaughlin}等人，《电子》。注释Theor。计算。科学。144，编号2，43-51（2006年；兹bl 1272.68362） 全文： 链接