安德鲁·雷诺兹；拉杜·奥西夫；塞尔维亚人，克里斯蒂娜 分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理。 （英语） Zbl 1484.68104号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 462-482 (2017).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。10145462--482（2017；Zbl 1484.68104） 全文： 内政部 arXiv公司 哈尔
安德鲁·雷诺兹；拉杜·奥西夫；塞尔维亚人，克里斯蒂娜；金，蒂姆 SMT中分离逻辑的决策过程。 （英语） Zbl 1398.68486号 Artho，Cyrille（编辑）等人，《用于验证和分析的自动化技术》。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，244-261（2016）。MSC公司：68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。9938，244--261（2016；Zbl 1398.68486） 全文： 内政部 arXiv公司 哈尔