Hiper
High performance term rewriting E-completion system.

Hiper is available here from the CMU AI Repository.

Hiper is distributed free of charge and with absolutely no warranty.

Application, Theorem Provers