Ta、Quang-Trung;Le，Ton Chanh先生;邱小成;魏恩根·钦 分离逻辑中的自动互感应证明。 （英语） Zbl 1425.68382号 正式Asp。计算。 第2期第31页，207-230（2019）.MSC公司：68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Q.-T.Ta}等人，正式Asp。计算。31，编号2207-230（2019；兹bl 1425.68382） 全文： 内政部
Makoto Tatsuta;Le，Quang Loc公司;魏恩根·钦 带有归纳定义和Presburger算法的分离逻辑的决策过程。 （英语） Zbl 1485.03078号 Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 423-443 (2016).MSC公司：03B70号 03B25号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}等人，Lect。注释计算。科学。10017、423--443（2016；Zbl 1485.03078） 全文： 内政部 链接