科恩、利隆;文森特·拉里 通过形式选择构建无偏见的外延型理论。 （英语） Zbl 07853716号 Felty，Amy P.（编辑），第七届计算和扣除正式结构国际会议，FSCD 2022，以色列海法，2022年8月2-5日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。228，第10条，第23页（2022年）。MSC公司：03B70号 第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{V.Rahli}，LIPIcs——莱布尼茨国际程序。通知。228，第10条，第23页（2022；Zbl 07853716） 全文： DOI程序
文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 （英语） Zbl 1427.03066号 J.ACM公司 66，第2号，第13条，第35页（2019年）.MSC公司：03楼50 03B38型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，J.ACM 66，第2号，第13条，第35页（2019年；Zbl 1427.03066） 全文： DOI程序
马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 通过选择序列超越Church-Turing的可计算性。 （英语） 兹比尔1452.03133 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。245-254 (2018).MSC公司：03楼50 03B35型 03B38型 03日30分 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。245--254（2018；Zbl 1452.03133） 全文： DOI程序 链接
文森特·拉里;科恩、利隆;马克·比克福德 由单调库支持的验证定理证明器后端。 （英语） Zbl 1409.68262号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 564-582 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，EPiC Ser。计算。57、564--582（2018年；Zbl 1409.68262） 全文： DOI程序