马可·曼托瓦尼;阿尔贝托·莫米利亚诺 面向基于子结构特性的测试。 （英语） Zbl 1521.68035号 De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，LOPSTR 2021，爱沙尼亚塔林，2021年9月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 92-112 (2022).MSC公司：68号30 03B47号 68甲15 68问题55 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Mantovani}和\textit{A.Momigliano}，莱克特。注释计算。科学。13290，92-112（2022；Zbl 1521.68035） 全文： 内政部 arXiv公司 链接
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 线性逻辑中Quipper量子编程语言的元理论的形式化。 （英语） Zbl 1468.68330号 J.汽车。推理 63，第4期，967-1002（2019）.MSC公司：68V20型 68甲15 第68页第18页 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty}，J.Autom。推理63，No.4，967--1002（2019；Zbl 1468.68330） 全文： 内政部 arXiv公司
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 Abella中关于结构操作语义规范的推理。 （英语） Zbl 1337.68239号 Abel，Andreas（编辑）等人，《逻辑框架和元语言：理论与实践第三届国际研讨会论文集》（LFMTP 2008），匹兹堡，宾夕法尼亚州，美国，2008年6月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记228，85-100（2009）。MSC公司：第68页第15页 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人，《电子》。注释Theor。计算。科学。228、85-100（2009年；Zbl 1337.68239） 全文： 内政部
戴尔·米勒 在逻辑中形式化操作语义规范。 （英语） Zbl 1347.68213号 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246147-165（2009）。MSC公司：68问题55 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，电子。注释Theor。计算。科学。246147--165（2009年；Zbl 1347.68213） 全文： 内政部