J. Ángel Rojas Romero, «Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme», Rev. Filosofía UCR, vol. 63, n.º 165, pp. 211–227, ene. 2024.