Prida J F. El problema de decisión del cálculo de predicados. Bol. Cent. Calc. Univ. Complut. [Internet]. 11 de septiembre de 2015 [citado 7 de diciembre de 2025];(26):1-28.