Krzysztof R.阿普特。;范·埃姆登，M.H。 对逻辑程序设计理论的贡献。 （英语） Zbl 0483.68004号 J.协会计算。机器。 29, 841-862 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于101文件 MSC公司： 68号01 软件理论的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：一阶谓词逻辑的Horn类;高级程序设计语言;SLD分辨率;定理证明器;终止语的语义表征;定点语义;最大修复点;连续性;完整性;非确定性流程图;舞台调度;终止 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{M.H.van Emden}，J.协会计算。马赫。29841--862（1982；Zbl 0483.68004） 全文： DOI程序 链接