伊夫·迪维尔;刘恭桥 逻辑程序综合。 (英语) Zbl 0942.68525号 J.日志。程序。 19-20221-350(1994年). 引用于7文件 MSC公司: 68N17号 逻辑编程 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{Y.Deville}和\textit{K.-K.Lau},J.Log。程序。19-20、321--350(1994年;Zbl 0942.68525) 全文: 内政部