霍德、克里什托夫;贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 选择所选项。 （英语） Zbl 1475.68436号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 313-329 (2016).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hoder}等人，Lect。注释计算。科学。9706311-329（2016年；兹比尔1475.68436） 全文： 内政部 arXiv公司
贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 玩阿凡达。 （英语） Zbl 1465.68295号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 399-415 (2015).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Reger}等人，Lect。注释计算。科学。9195399--415（2015年；Zbl 1465.68295） 全文： 内政部
贾尔斯·里格尔;蒂什科夫斯基，德米特里;安德烈·沃伦科夫 合作证明尝试。 （英语） Zbl 1465.68296号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日，德国柏林，第25届自动扣款国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 339-355 (2015).MSC公司：68伏15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Reger}等人，Lect。注释计算。科学。9195，339--355（2015；Zbl 1465.68296） 全文： 内政部
胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫 使用有效的命题逻辑进行规划。 （英语） Zbl 1383.68086号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797302-316（2013）。MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Navarro-Pérez}和\textit{A.Voronkov}，莱克特。注释计算。科学。7797302-316（2013年；兹bl 1383.68086） 全文： 内政部