Prida, J. F. El problema de decisión del cálculo de predicados. Bol. Cent. Calc. Univ. Complut. 2015, N.º 26, 1-28.