马提亚斯·巴兹;蝉蜕、阿加塔;普瑞宁，诺伯特 哥德尔逻辑中的一阶可满足性：一个NP-完全片段。 （英语） Zbl 1244.03090号 理论。计算。科学。 412，第47号，6612-6623（2011）. 审核人：布鲁内拉·格拉（瓦雷斯） MSC公司：03B52号 2017年第68季度 68层35 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人，Theor。计算。科学。412，第47号，6612--6623（2011；Zbl 1244.03090） 全文： 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;Preining，诺伯特 一元哥德尔逻辑中的SAT：可判定性和不可判定性之间的边界。 （英语） 兹比尔1246.03046 Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，113-123（2009）。MSC公司：03B52号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人，Lect。注释计算。科学。5514、113--123（2009年；Zbl 1246.03046） 全文： 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 哥德尔逻辑的一元碎片：可判定性和不可判定性结果。 （英语） Zbl 1138.03025号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，77-91（2007）。MSC公司：03B50号 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{M.Baaz}等人，Lect。注释计算。科学。4790，77--91（2007；Zbl 1138.03025） 全文： 内政部