1. Alonso, J.A., Briales, E.: Lógicas Polivalentes y Bases de Gröbner. In: Martin, C. (ed.) Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales. University of Seville, pp. 307–315 (1995)
2. Buchberger, B.: An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal (Ph.D. Thesis in German). Math. Institute - University of Innsbruck (1965)
3. IMA;B. Buchberger,1988
4. Chazarain, J., Riscos, A., Alonso, J.A., Briales, E.: Multivalued Logic and Gröbner Bases with Applications to Modal Logic. Journal of Symbolic Computation 11, 181–194 (1991)
5. Hsiang, J.: Refutational Theorem Proving using Term-Rewriting Systems. Artificial Intelligence 25, 255–300 (1985)