Wen-Tsun Wu Xiao-Shan Gao Automated Reasoning and Equation Solving with the Characteristic Set Method. 756-764 2006 21 J. Comput. Sci. Technol. 5 http://dx.doi.org/10.1007/s11390-006-0756-7 db/journals/jcst/jcst21.html#WuG06