马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 使用clipeo进行多快照ASP求解。 （英语） Zbl 1486.68027号 理论与实践。日志。程序。 19，第1号，27-82（2019）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，《理论与实践》。日志。程序。19，第1号，27--82（2019；Zbl 1486.68027） 全文： 内政部 arXiv公司
马丁·格布瑟;本杰明·考夫曼;托尔斯滕·绍布 冲突驱动的答案集解决：从理论到实践。 （英语） Zbl 1251.68060号 Artif公司。智力。 187-188, 52-89 (2012).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，Artif。智力。187-18、52-89（2012年；Zbl 1251.68060） 全文： 内政部
马丁·格布瑟;马克斯·奥斯特罗斯基;托尔斯滕·绍布 约束答案集求解。 （英语） Zbl 1251.68061号 Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649235-249（2009）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，Lect。注释计算。科学。5649，235--249（2009；Zbl 1251.68061） 全文： 内政部