Prida, J. F. (2015): «El problema de decisión del cálculo de predicados», Boletín del Centro de Cálculo de la Universidad Complutense, (26), pp. 1–28. Disponible en: https://revistas.ucm.es/index.php/BCCU/article/view/50020 (Accedido: 23 noviembre 2024).