刷新 一种逻辑程序优化工具（扩展抽象）。本文介绍了一种逻辑程序求精的工具，它基于作者提出的求精演算[逻辑程序的精化规范]。在J.Gallagher编辑的《逻辑程序综合与转换》。1996年8月，瑞典斯德哥尔摩，LOPSTR'96，第六届国际研讨会论文集。笔记计算。科学。1207年（1997年）]。REFLP工具是交互式的，由用户驱动优化过程。REFLP建立在Ergo上，Ergo是一个可定制的交互式定理证明器，其基本证明范式是窗口推理。 zbMATH中的参考文献，1标准件) 显示结果1/1。 是的按年份排序(引用) 10 20 50 全部的 科尔文，罗伯特；海耶斯，伊恩；尼克森，雷；斯特罗普，保罗：逻辑程序精化的工具（扩展摘要）（1997）
