汤姆·佩特尔；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡 具有依赖方案的长距离Q分辨率。 （英语） Zbl 1459.68229号 J.自动化。推理 63，第1期，127-155（2019）.MSC公司：68伏15 03B35型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}等人，J.Autom。推理63，No.1，127--155（2019；Zbl 1459.68229） 全文： DOI程序 OA许可证
汤姆·佩特尔；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡 具有依赖方案的远距离Q分辨率。 （英语） Zbl 1475.68446号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 500-518 (2016).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛T.Peitl｝等人，Lect。注释计算。科学。9710500--518（2016；Zbl 1475.68446） 全文： DOI程序 链接