El problema de decisión del cálculo de predicados - Prida, José F. (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)