D. Rosales Papa, Ferro y los procedimientos decisorios de la lógica, ARETE, vol. 7, n.º 2, pp. 227-243, jul. 1995.