萨宾·鲍尔；斯特芬·乔斯特；马丁·霍夫曼 无限树上的可判定不等式。 （英语） Zbl 1415.68059号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 111-130 (2018).MSC公司：68号30 03B25号 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Bauer}等人，EPiC Ser。计算。57、111-130（2018；Zbl 1415.68059） 全文： 内政部
萨宾·鲍尔；马丁·霍夫曼 可确定的线性列表约束。 （英语） Zbl 1403.68232号 Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，181-199（2017）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bauer}和\textit{M.Hofmann}，EPiC Ser。计算。46181-199（2017年；兹比尔1403.68232） 全文： 内政部