科恩、利隆;鲁本·罗。;尤尼·佐哈尔 在Herbrand结构中实现自动推理。 (英语) Zbl 1444.03158号 J.日志。计算。 29,第5号,693-721(2019).MSC公司:03财年03 03B35型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}等人,J.Log。计算。29,第5号,693--721(2019;Zbl 1444.03158) 全文: DOI程序 链接
科恩、利隆;罗伯特·康斯特布尔。 直觉主义的祖先逻辑。 (英语) Zbl 1444.03103号 J.日志。计算。 29,第4号,469-486(2019).MSC公司:03B60号 03B20型 03B35型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.L.Constable},J.Log。计算。29,第4号,469--486(2019;Zbl 1444.03103) 全文: DOI程序 链接