彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 （英语） Zbl 1522.68142号 表格方法系统。设计。 57，第2期，121-156（2021）.MSC公司：68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人，《形式方法系统》。设计。57，编号2，121--156（2021；Zbl 1522.68142） 全文： 内政部
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 （英语） Zbl 1409.68265号 J.汽车。推理 58，第1期，127-147（2017）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，J.Autom。推理58，No.1，127--147（2017；Zbl 1409.68265） 全文： 内政部 链接
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 用mcSAT确定位向量公式。 （英语） Zbl 1475.68226号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710249-266（2016年）。MSC公司：68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人，Lect。注释计算。科学。9710，249--266（2016；Zbl 1475.68226） 全文： 内政部