PRIDA, J. F. El problema de decisión del cálculo de predicados. Boletín del Centro de Cálculo de la Universidad Complutense, n. 26, p. 1–28, 11 sep.2015.