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)

Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. - José-Luis Ruiz-Reina; José Antonio Alonso Jimenez; María-José Hidalgo; Francisco-Jesús Martín-Mateos (LOPSTR, 2003)