M. Portillo-Quintanilla and W. Santos-Pineda, “State of the art on research in the resolution of logic and probability problems”, Electronic Journal of Knowledge, Knowledge and Practices, vol. 6, no. 1, pp. 40-49, Oct. 2023.