PRIDAS, J. F.; OREJAS, F. Clases de fórmulas aritméticas en la 1-reducibilidad. Boletín del Centro de Cálculo de la Universidad Complutense, n. 28, p. 1–44, 10 sep.2015.