Herky: High Performance Rewriting in RRL
暂无分享,去创建一个
[1] Hélène Kirchner,et al. Completion of a Set of Rules Modulo a Set of Equations , 1986, SIAM J. Comput..
[2] William McCune,et al. OTTER 1.0 Users' Guide , 1990 .
[3] Jim Christian,et al. Fast Knuth-Bendix Completion: Summary , 1989, International Conference on Rewriting Techniques and Applications.
[4] Gerald E. Peterson,et al. Complete Sets of Reductions with Constraints , 1990, CADE.