1. Dolzmann, A., Sturm, T.: Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin 31(2), 2–9 (1997)
2. Dolzmann, A., Sturm, T.: Redlog user manual. Technical Report MIP-9905, FMI, Universit??t Passau, D-94030 Passau, Germany (1999);
3. Edition 2.0 for Version 2.0
4. Hearn, A.C.: Reduce User’s Manual for Version 3.8, Santa Monica, CA (2004), http://reduce-algebra.com/
5. Hearn, A.C.: Reduce: The first forty years. In: Dolzmann, A., Seidl, A., Sturm, T. (eds.) Algorithmic Algebra and Logic, pp. 19–24. BoD, Norderstedt (2005)