1. Lógicas Polivalentes y Bases de Gröbner;Alonso,1989
2. A.R. Anderson, N.D. Belnap, Jr., J.M. Dunn, Entailment. The Logic of Relevance and Necessity, Princeton University Press, Princeton, NJ, 1992 (Vol. II, Ch. XII, §81. A useful four-valued logic: how a computer should think, pp. 506–541).
3. A useful four-valued logic;Belnap,1977
4. B. Buchberger, Bruno Buchberger's PhD thesis 1965: an algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal, Journal of Symbolic Computation 41 (3–4) (2006) 475–511.
5. Polynomial Ring Calculus for Logical Inference;Carnielli,2005