J. Ángel Rojas Romero, “On dr. Claudio Gutierréz Carranza’s thought. An algorithm of Artificial Inteligence to prove theorems of uniform cuantification logic”, Rev. Filosofía UCR, vol. 63, no. 165, pp. 211–227, Jan. 2024.