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.