约翰·克劳斯·费希特;斯泽德，斯特凡 可控制答案集编程的后门。 （英语） Zbl 1328.68040号 Artif公司。智力。 220, 64-103 (2015).MSC公司：68N17号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}和\textit{S.Szeider}，Artif。智力。220、64-103（2015；Zbl 1328.68040） 全文： 内政部 arXiv公司
沃尔夫冈·德沃亚克;塞巴斯蒂安·奥德尼亚克;斯泽德，斯特凡 扩充抽象论证中易于驾驭的片段。 （英语） Zbl 1251.68225号 Artif公司。智力。 186, 157-173 (2012).MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人，Artif。智力。186157--173（2012年；Zbl 1251.68225） 全文： 内政部
塞尔盖·加斯佩斯;斯泽德，斯特凡 后门满意。 （英语） Zbl 1358.68133号 Bodlaender，Hans L.（编辑）等人，《多元算法革命及其以外》。纪念迈克尔·R·费罗斯60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-30890-1/pbk）。《计算机科学讲义》7370、287-317（2012）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}和\textit{S.Szeider}，莱克特。注释计算。科学。7370，287--317（2012；Zbl 1358.68133） 全文： 内政部 arXiv公司