Johannes Oetsch；约格·普勒；汉斯·托姆皮茨 逐步调试应答程序。 （英语） Zbl 1425.68053号 理论与实践。日志。程序。 18，第1期，30-80（2018）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛J.Oetsch｝等人，《理论与实践》。日志。程序。18，编号1，30--80（2018；Zbl 1425.68053） 全文： 内政部 arXiv公司
Johannes Oetsch；约格·普勒；汉斯·托姆皮茨 描述逻辑程序的逐步调试。 （英语） Zbl 1357.68039号 Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。《计算机科学讲义》7265、492-508（2012）。MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人，Lect。注释计算。科学。7265，492--508（2012；Zbl 1357.68039） 全文： 内政部