1. I.F. Blake, X. Gao, R.C. Mullin, S.A. Vanstone and T. Yaghoobian, Applications of Finite Fields, Kluwer Academic Publishers (1993).
2. W. Pugh “A practical algorithm for exact array dependence analysis,” Communications of the ACM, 35(8), pp. 102–114 (1992).
3. S. Morioka, N. Shibata, T. Higashino and K. Taniguchi, “Techniques to Reduce Computation Time in Decision Procedure for Prenex Normal Form Presburger Sentences Bounded only by Existential Quantifiers,” Journal of IPSJ, Vol. 38,No. 12, pp. 2419–2426 (1997).
4. N. Shibata, K. Okano, T. Higashino and K. Taniguchi, “A Decision Algorithm for Prenex Normal form Rational Presburger Sentences based on Combinatorial Geometry,” The 2nd Intl. Conf. on Discrete Mathematics and Theoretical Computer Science and the 5th Australian Theory Symposium (DMTCS’99+CATS’99), pp. 344–359 (1999).
5. Y.A. Chen, R.E. Bryant, “Verification of Floating-Point Adders,” The 10th Intl. Conf. on Computer Aided Verification (CAV’98), pp. 488–499 (1998).