安蒂·瓦尔马里；你好，劳里 具有未定义真值的正则谓词逻辑的完整性证明。 （英语） Zbl 1522.03063号 圣母院J.形式逻辑 64，第1号，61-93（2023）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B50 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{L.Hella}，圣母院J.形式逻辑64，No.1，61-93（2023；Zbl 1522.03063） 全文： 内政部 arXiv公司
汉斯·德·尼维尔 带有部分函数的经典逻辑。 （英语） Zbl 1259.03047号 J.汽车。推理 47，第4号，399-425（2011）.MSC公司：03B70号 03B15号机组 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.de Nivelle}，J.Autom（美国汽车制造商协会）。推理47，No.4，399--425（2011；Zbl 1259.03047） 全文： 内政部
汉斯·德·尼维尔 带有部分函数的经典逻辑。 （英语） Zbl 1291.03073号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，203-217（2010）。MSC公司：03B70号 03B15号机组 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.de Nivelle}，莱克特。票据计算。科学。6173203-217（2010年；Zbl 1291.03073） 全文： 内政部
约翰·菲茨杰拉德。；克利夫·琼斯。 关于部分函数的两种推理方式之间的联系。 （英语） Zbl 1186.68288号 信息处理。莱特。 107，编号3-4，128-132（2008）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Fitzgerald}和\textit{C.B.Jones}，Inf.Process。莱特。107，编号3--4，128-132（2008；Zbl 1186.68288） 全文： 内政部
Farmer，William M。；约书亚·D·古特曼。；Fábrega，F.Javier Thayer IMPS：更新的系统描述。 （英语） Zbl 1412.68220号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1104, 298-302 (1996).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}等人，Lect。票据计算。科学。1104，298--302（1996；Zbl 1412.68220） 全文： 内政部