1. Rational solutions of first order linear difference systems;Abramov,1998
2. Difference Equations and Inequalities: Theory, Methods and Applications;Agarwal,2000
3. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins,1998
4. Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra;Cox,2015
5. Abstract Algebra. Algebras and Applications;Dummit,2003