1. Lecture Notes in Computer Science;C. Barrett,2004
2. Lecture Notes in Computer Science;M. Blum,1993
3. Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. In: Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 36, Springer, Heidelberg (1998)
4. Boulton, R.J.: Efficiency in a fully-expansive theorem prover. Technical Report 337, University of Cambridge Computer Laboratory, New Museums Site, Pembroke Street, Cambridge, CB2 3QG, UK, Author’s PhD thesis (1993)
5. Texts and monographs in symbolic computation;B.F. Caviness,1998