Prida, José F. «El Problema De decisión Del cálculo De Predicados». Boletín del Centro de Cálculo de la Universidad Complutense, no. 26 (septiembre 11, 2015): 1–28. Accedido noviembre 23, 2024. https://revistas.ucm.es/index.php/BCCU/article/view/50020.