马丁·格布瑟;汤米·詹胡宁;尤西·林塔南 非循环属性的声明性编码。 （英语） 兹比尔1487.68222 J.日志。计算。 30，第4期，923-952（2020年）.MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，J.Log。计算。30，第4号，923--952（2020；Zbl 1487.68222） 全文： 内政部 链接
Tomi Janhunen;马丁·格布瑟;尤西·林塔南;亨利克·尼曼;约翰·彭萨尔;科兰德，尤卡 通过约束优化学习离散可分解图形模型。 （英语） Zbl 1505.62200号 统计计算。 27，第1期，115-130（2017）.MSC公司：62-08 62H22个 62H17型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen}等人，《统计计算》。27，第1号，115--130（2017；Zbl 1505.62200） 全文： 内政部 链接
马丁·格布瑟;汤米·詹胡宁;尤西·林塔南 回答集编程为SAT模非循环。 （英语） Zbl 1366.68017号 Schaub，Torsten（编辑）等人，ECAI 2014。第21届欧洲人工智能会议，2014年8月18日至22日，捷克共和国布拉格。诉讼程序。包括关于智能系统著名应用的随之而来的会议记录（PAIS 2014）。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-418-3/pbk；978-1-6499-419-0/ebook）。人工智能和应用前沿263，351-356（2014）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，前面。Artif公司。智力。申请。263、351--356（2014；Zbl 1366.68017） 全文： 链接
马丁·格布瑟;汤米·詹胡宁;Rintanen，尤西 SAT模图：无环性。 （英语） Zbl 1432.68328号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 137-151 (2014).MSC公司：68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gebser｝等人，Lect。注释计算。科学。8761，137--151（2014；Zbl 1432.68328） 全文： 内政部