Jacques Chazarain Agustín Riscos Gonzáles José Antonio Alonso Jimenez Emilio Briales Morales Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic. 181-194 1991 11 J. Symb. Comput. 3 db/journals/jsc/jsc11.html#ChazarainRAB91