Hiper
High performance term rewriting E-completion system.

Hiper is available here from the CMU AI Repository.

Hiper is distributed free of charge.

Application Theorem Provers