Johannes Oetsch；胡安·卡洛斯·尼维斯 带有序算子的命题理论的稳定序模型。 （英语） Zbl 1525.68174号 Calimeri，Francesco（编辑）等人，《人工智能中的逻辑》。2019年5月7日至11日，意大利伦德，第16届欧洲会议，JELIA 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11468, 794-802 (2019).MSC公司：68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}和\textit{J.-C.Nieves}，莱克特。注释计算。科学。11468、794--802（2019年；Zbl 1525.68174） 全文： 内政部
Johannes Oetsch；汉斯·托姆皮茨 三值逻辑的Gentzen型反驳系统，用于反驳强等价性。 （英语） Zbl 1327.03018号 Delgrade，James P.（编辑）等人，《逻辑编程和非单调推理》。2011年5月16日至19日，加拿大温哥华，第11届国际会议，LPNMR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20894-2/pbk）。计算机科学课程讲稿6645。人工智能课堂讲稿，254-259（2011）。MSC公司：03B50号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}和\textit{H.Tompits}，莱克特。注释计算。科学。6645254--259（2011；Zbl 1327.03018） 全文： 内政部