Pridas, José F. y Fernando Orejas. «Clases de fórmulas aritméticas en la 1-reducibilidad». Boletín del Centro de Cálculo de la Universidad Complutense, n.º 28, 2015, pp. 1-44, https://revistas.ucm.es/index.php/BCCU/article/view/49991.