1. W. T. Wu, Basic principles of mechanical theorem-proving in elementary geometries, J. Sys. Sci. & Math. Scis., 1984, 4(3): 207–235.
2. J. F. Ritt, Differential Algebra, Amer. Math. Soc. Colloquium, Providence, 1950.
3. X. S. Gao and Y. Luo, A characteristic set method for difference polynomial systems, in Proc. ICPSS, Paris, 2004, 28–30.
4. M. Brickenstein and A. Dreyer, PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials, in Proc. MEGA, Austria, 2007. URL: http: //www.ricam.oeaw.ac.at/mega2007/electronic/26.pdf .
5. W. Mao and J. Wu, Application of Wu’s method to symbolic model checking, ACM Press, New York, 2005, Proc. ISSAC’05, 237–244.