艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 语法引导的量词实例化。 （英文） Zbl 1474.68456号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 145-163 (2021).MSC公司：68版本20 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人，Lect。注释计算。科学。12652，145-163（2021；Zbl 1474.68456） 全文： 内政部
Pham，团结;安德鲁·加塞克;迈克尔·沃伦。 用抽象推理代数数据类型。 （英文） Zbl 1386.68104号 J.汽车。推理 57，第4期，281-318（2016）.MSC公司：第68季度第65季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.-H.Pham}等人，J.Autom。推理57，No.4，281--318（2016；Zbl 1386.68104） 全文： 内政部 arXiv公司
Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 （英文） Zbl 1284.03212号 形式方法系统。设计。 42，第1期，3-23（2013）.MSC公司：03B70号 60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人，《形式方法系统》。设计。42，第1号，第3--23号（2013；Zbl 1284.03212） 全文： 内政部
维奥里卡Sofrone-Stokkerman 具有桥接函数的理论的某些扩展的局部性结果。 （英文） Zbl 1250.03022号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，67-83（2009）。MSC公司：03B35型 60年第68季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。5663、67--83（2009年；Zbl 1250.03022） 全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;穆纳乔·埃切宁 递归数据结构的基于重写的可满足性过程。 （英文） Zbl 1277.68239号 Cook，B.（ed.）等人，第四届自动推理决策程序语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第8期，55-70（2007）。MSC公司：68吨15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Echenim}，电子。注释Theor。计算。科学。174，第8号，55--70（2007；Zbl 1277.68239） 全文： 内政部
克拉克·巴雷特;伊戈尔·什卡尼安;塞萨尔·蒂内利 递归数据类型理论中可满足性的抽象决策过程。 （英文） Zbl 1277.68132号 Cook，B.（ed.）等人，第四届自动推理决策程序语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第8期，23-37（2007）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，《电子》。注释Theor。计算。科学。174，第8号，23--37（2007；Zbl 1277.68132） 全文： 内政部