Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic. - Jacques Chazarain; Agustín Riscos Gonzáles; José Antonio Alonso Jimenez; Emilio Briales Morales (J. Symb. Comput., 1991)