Pridas, J. F. y Orejas, F. (2015): «Clases de fórmulas aritméticas en la 1-reducibilidad», Boletín del Centro de Cálculo de la Universidad Complutense, (28), pp. 1–44. Disponible en: https://revistas.ucm.es/index.php/BCCU/article/view/49991 (Accedido: 23 noviembre 2024).