> KBSS
> STILL
> IDA
> AIC
Vyskočil, J.
VYSKOČIL, J. Automated Mathematical Proof Simplifier (version 1.0). [Software] 2009.
URL: http://labe.felk.cvut.cz/~vyskocil/research/AMPS/