里卡多·贡萨尔维斯;汤米·詹胡宁;马蒂亚斯·克诺尔;约昂·莱特 一致等价下的句法遗忘。 （英语） 兹比尔07437048 Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 297-312 (2021).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gonçalves}等人，Lect。注释计算。科学。12678、297--312（2021；Zbl 07437048） 全文： 内政部
Tomi Janhunen 正常逻辑程序和命题理论的一些可译性结果。 （英语） Zbl 1184.68160号 J.应用。非类别。日志。 16，编号1-2，35-86（2006）.MSC公司：68N17号 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen}，J.Appl（J.应用）。非类别。日志。16，编号1--2，35-86（2006；Zbl 1184.68160） 全文： 内政部