克里斯托弗·林奇；Ta、Quang-Trung；德坎·特兰 SMELS：具有惰性叠加的可满足性模等式。 （英语） Zbl 1314.68285号 J.汽车。推理 51，第3期，325-356（2013）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛C.Lynch｝等人，J.Autom。推理51，No.3，325--356（2013；Zbl 1314.68285） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）；林奇，Christopher A。；莱昂纳多·德·莫拉 关于通过带有推测推理的定理证明来确定可满足性。 （英语） Zbl 1243.68265号 J.汽车。推理 47，第2期，161-189（2011）.MSC公司：68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，J.Autom。推理47，No.2，161--189（2011；Zbl 1243.68265） 全文： 内政部
克里斯托弗·林奇；西尔维奥·兰伊斯；克里斯托夫·林盖森；德坎·特兰 自动判定和组合。 （英语） Zbl 1216.68163号 Inf.计算。 209，第7期，1026-1047（2011）.MSC公司：60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}等人，《信息计算》。209，第7号，1026--1047（2011；Zbl 1216.68163） 全文： 内政部
克里斯托弗·林奇；拉尔夫·埃里克·麦格雷戈 结合实例生成和解析。 （英语） Zbl 1193.03028号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，304-318（2009）。MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{R.E.McGregor}，莱克特。注释计算。科学。5749、304--318（2009年；Zbl 1193.03028） 全文： 内政部
杰里米·邦吉奥；塞勒斯·卡特拉克；林，海；克里斯托弗·林奇；麦格雷戈、拉尔夫·埃里克 在SMT中对一阶证明进行编码。 （英语） Zbl 1277.03006号 Krstić，Sava（ed.）等人，第五届可满足性模理论国际研讨会论文集（SMT 2007），德国柏林，2007年7月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》198，第2期，71-84（2008）。MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Bongio}等人，《电子》。注释Theor。计算。科学。198，编号2，71--84（2008；Zbl 1277.03006） 全文： 内政部
克里斯托弗·林奇；德坎·特兰 SMELS：具有惰性叠加的可满足模等式。 （英语） Zbl 1183.68559号 Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311186-200（2008）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{D.-K.Tran}，莱克特。注释计算。科学。5311、186-200（2008年；Zbl 1183.68559） 全文： 内政部