Cordero, et al.. A New Algebraic Tool for Automatic Theorem Provers. Springer Nature, 2004, doi:10.1023/b:amai.0000038312.77514.3c.