E·阿尔布拉哈姆。；雅培，J。；B.贝克尔。；A.M.比加蒂。；布莱恩，M。；巴赫伯格，B。；A.西马蒂。；J.H.达文波特。；英格兰，M。；方丹，P。；福雷斯特，S。；A.格里乔。；科隆，D。；西勒，W.M。；Sturm，T。 满意度检查和符号计算。 （英语） 兹比尔1365.68478 ACM通信。计算。代数 50，第4期，145-147（2016）.MSC公司：68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛E.Ábrahám｝等人，ACM社区。计算。代数50，第4期，145-147（2016；Zbl 1365.68478） 全文： 内政部 arXiv公司 链接
艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） Zbl 1344.68198号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学讲义9791。人工智能课堂讲稿，28-43（2016）。MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。票据计算。科学。9791，28-43（2016；Zbl 1344.68198） 全文： 内政部 arXiv公司
Stefan Kupferschmid；贝恩德·贝克尔 非线性约束条件下的克雷格插值。 （英语） Zbl 1348.68141号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，240-255（2011）。MSC公司：60年第68季度 03C40号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}和\textit{B.Becker}，莱克特。票据计算。科学。6919240-255（2011年；Zbl 1348.68141） 全文： 内政部
艾丽卡·阿尔布拉汉姆；马克·赫伯斯特里特；贝恩德·贝克尔；马丁·斯特芬 使用参数化数据结构检查有界模型。 （英语） Zbl 1277.68129号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，3-16页（2007年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《电子》。注释Theor。计算。科学。174，编号3，3--16（2007；Zbl 1277.68129） 全文： 内政部