Pridas, J. F.; Orejas, F. Clases de fórmulas aritméticas en la 1-reducibilidad. Bol. Cent. Calc. Univ. Complut. 2015, N.º 28, 1-44.